Proceedings of the Third Symposium on Logic Programming
SLP, 1986.

@proceedings{SLP-1986,
	address       = "Salt Lake City, Utah, USA",
	isbn          = "0-8186-0728-9",
	publisher     = "{IEEE-CS}",
	title         = "{Proceedings of the Third Symposium on Logic Programming}",
	year          = 1986,
}

Contents (28 items)

9 ×#logic programming
8 ×#prolog
5 ×#source code
4 ×#named
3 ×#execution
3 ×#implementation
2 ×#backtracking
2 ×#garbage collection
2 ×#memory management
2 ×#similarity

SLP-1986-Bledsoe86 #proving

Some Thoughts on Proof Discovery (WWB), pp. 2–10.

SLP-1986-OhrstromA86 #logic programming

The Logic of Tensed Statements in English — An Application of Logic Programming (PØ, NA), pp. 12–19.

SLP-1986-SterlingB86 #incremental

Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction (LS, RDB), pp. 20–27.

SLP-1986-ArmstrongEV86 #logic programming #problem

The Phoning Philosopher’s Problem or Logic Programming for Telecommunications Applications (JLA, NAE, RV), pp. 28–33.

SLP-1986-Bocca86 #named #prolog #relational

EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS (JBB), pp. 36–45.

SLP-1986-RossR86 #memory management #prolog

Paging Strategy for Prolog Based Dynamic Virtual Memory (MLR, KR), pp. 46–57.

SLP-1986-FosterK86 #logic

A Logical Treatment of Secondary Storage (ITF, AJK), pp. 58–67.

SLP-1986-BruynoogheSK86 #compilation

Compiling Control (MB, DDS, BK), pp. 70–77.

SLP-1986-DebrayW86 #automation #prolog #source code

Automatic Mode Inference for Prolog Programs (SKD, DSW), pp. 78–88.

SLP-1986-BoscoG86 #deduction #named

IDEAL: An Ideal Deductive Applicative Language (PGB, EG), pp. 89–94.

SLP-1986-Tarnlund86 #logic programming #perspective

Logic Programming-From a Logic Point of View (SÅT), pp. 96–103.

SLP-1986-Miller86 #formal method #logic programming

A Theory of Modules for Logic Programming (DM), pp. 106–114.

SLP-1986-HoddinottE86 #axiom #named #prolog #similarity

PROLOG: Subsumption of Equality Axioms by the Homogeneous Form (PH, EWE), pp. 115–126.

SLP-1986-Gelder86 #logic programming #source code #using

Negation as Failure Using Tight Derivations for General Logic Programs (AVG), pp. 127–138.

SLP-1986-VasakP86 #logic programming #source code

Characterisation of Terminating Logic Programs (TV, JP), pp. 140–147.

SLP-1986-Crammond86 #execution #nondeterminism

An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.

SLP-1986-MannilaU86 #implementation #prolog #representation

Timestamped Term Representation for Implementing Prolog (HM, EU), pp. 159–165.

SLP-1986-GallierR86 #horn clause #similarity

SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification (JHG, SR), pp. 168–179.

SLP-1986-MartelliMR86 #algorithm #equation #unification

An Algorithm for Unification in Equational Theories (AM, CM, GR), pp. 180–186.

SLP-1986-JosephsonD86 #implementation

An Implementation of Narrowing: The RITE Way (NAJ, ND), pp. 187–197.

SLP-1986-WooC86 #backtracking

Selecting the Backtrack Literal in the AND/OR Model (NSW, KMC), pp. 200–210.

SLP-1986-BorgwardtR86 #backtracking #distributed #prolog

Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog (PB, DR), pp. 211–222.

SLP-1986-LiM86 #execution #logic programming #parallel

The Sync Model: A Parallel Execution Method for Logic Programming (PPL, AJM), pp. 223–234.

SLP-1986-Naughton86 #recursion

Redundancy in Function-Free Recursive Rules (JFN), pp. 236–245.

SLP-1986-CiepielewskiH86 #evaluation #execution #logic programming #performance #source code

Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs (AC, BH), pp. 246–257.

SLP-1986-BekkersCRU86 #garbage collection #implementation #logic programming #memory management #named #programming language #realtime

MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages (YB, BC, OR, LU), pp. 258–264.

SLP-1986-Debray86 #prolog

Register Allocation in a Prolog Machine (SKD), pp. 267–275.

SLP-1986-BarklundM86 #garbage collection #prolog #source code

Garbage Cut for Garbage Collection of Iterative Prolog Programs (JB, HM), pp. 276–283.