![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd SLP 1986: Salt Lake City, Utah
- Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986. IEEE-CS 1986, ISBN 0-8186-0728-9
The long versions of selected papers were published in a special issue of the Journal of Logic Programming (Volume 6, Numbers 1 & 2, January/March 1989).
Invited Speaker
- W. W. Bledsoe:
Some Thoughts on Proof Discovery. SLP 1986: 2-10
Applications
- Peter Øhrstrøm, Niels Aalborg:
The Logic of Tensed Statements in English - An Application of Logic Programming. SLP 1986: 12-19 - Leon Sterling, Randall D. Beer:
Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction. SLP 1986: 20-27 - Joe L. Armstrong, Nabiel A. Elshiewy, Robert Virding:
The Phoning Philosopher's Problem or Logic Programming for Telecommunications Applications. SLP 1986: 28-33
Secondary Storage
- Jorge B. Bocca:
EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS. SLP 1986: 36-45 - M. L. Ross, Kotagiri Ramamohanarao:
Paging Strategy for Prolog Based Dynamic Virtual Memory. SLP 1986: 46-57 - Ian T. Foster, Anthony J. Kusalik:
A Logical Treatment of Secondary Storage. SLP 1986: 58-67
Compilation
- Maurice Bruynooghe, Danny De Schreye, Bruno Krekels:
Compiling Control. SLP 1986: 70-77 - Saumya K. Debray, David Scott Warren:
Automatic Mode Inference for Prolog Programs. SLP 1986: 78-88 - Pier Giorgio Bosco, Elio Giovannetti:
IDEAL: An Ideal Deductive Applicative Language. SLP 1986: 89-94
Invited Speaker
- Sten-Åke Tärnlund:
Logic Programming-From a Logic Point of View. SLP 1986: 96-103
Theory
- Dale Miller:
A Theory of Modules for Logic Programming. SLP 1986: 106-114 - P. Hoddinott, Edward W. Elcock:
PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. SLP 1986: 115-126 - Allen Van Gelder:
Negation as Failure Using Tight Derivations for General Logic Programs. SLP 1986: 127-138
Control
- Thomas Vasak, John Potter:
Characterisation of Terminating Logic Programs. SLP 1986: 140-147 - Jim A. Crammond:
An Execution Model for Committed-Choice Non-Deterministic Languages. SLP 1986: 148-158 - Heikki Mannila, Esko Ukkonen:
Timestamped Term Representation for Implementing Prolog. SLP 1986: 159-165
Unification
- Jean H. Gallier, Stan Raatz:
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. SLP 1986: 168-179 - Alberto Martelli, Corrado Moiso, Gianfranco Rossi:
An Algorithm for Unification in Equational Theories. SLP 1986: 180-186 - N. Alan Josephson, Nachum Dershowitz:
An Implementation of Narrowing: The RITE Way. SLP 1986: 187-197
Parallelism
- Nam Sung Woo, Kwang-Moo Choe:
Selecting the Backtrack Literal in the AND/OR Model. SLP 1986: 200-210 - Peter Borgwardt, Doris Rea:
Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog. SLP 1986: 211-222 - Peyyun Peggy Li, Alain J. Martin:
The Sync Model: A Parallel Execution Method for Logic Programming. SLP 1986: 223-234
Performance
- Jeffrey F. Naughton:
Redundancy in Function-Free Recursive Rules. SLP 1986: 236-245 - Andrzej Ciepielewski, Bogumil Hausman:
Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs. SLP 1986: 246-257 - Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro:
MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. SLP 1986: 258-264
Warren Abstract Machine
- Saumya K. Debray:
Register Allocation in a Prolog Machine. SLP 1986: 267-275 - Jonas Barklund, Håkan Millroth:
Garbage Cut for Garbage Collection of Iterative Prolog Programs. SLP 1986: 276-283
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.