Proceedings of the Second Symposium on Logic Programming
SLP, 1985.

@proceedings{SLP-1985,
	address       = "Boston, Massachusetts, USA",
	isbn          = "0-8186-0636-3",
	publisher     = "{IEEE-CS}",
	title         = "{Proceedings of the Second Symposium on Logic Programming}",
	year          = 1985,
}

Contents (27 items)

11 ×#prolog
10 ×#logic programming
4 ×#logic
4 ×#source code
3 ×#concurrent
3 ×#programming
3 ×#towards
2 ×#backtracking
2 ×#compilation
2 ×#functional

SLP-1985-Kowalski85 #logic programming

Directions for Logic Programming (RAK), pp. 2–7.

SLP-1985-ChangD85 #analysis #backtracking #dependence #prolog

Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.

SLP-1985-GlasgowJM85 #parallel

User Defined Parallel Control Strategies in Nial (JIG, MAJ, CM), pp. 22–28.

SLP-1985-DembinskiM85 #backtracking #logic programming #source code

AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs (PD, JM), pp. 29–38.

SLP-1985-UmrigarP85 #empirical #first-order #logic #programming

An Experiment in Programming with Full First-Order Logic (ZDU, VP), pp. 40–47.

SLP-1985-BowenW85 #prolog

A Meta-Level Extension of Prolog (KAB, TW), pp. 48–53.

SLP-1985-DershowitzP85 #logic programming

Logic Programming cum Applicative Programming (ND, DAP), pp. 54–66.

SLP-1985-OKeefe85 #on the #prolog #tool support

On the Treatment of Cuts in Prolog Source-Level Tools (RAO), pp. 68–72.

SLP-1985-Naish85 #prolog

All Solutions Predicates in Prolog (LN), pp. 73–77.

SLP-1985-MaluszynskiK85 #execution #logic programming #source code

Unification-Free Execution of Logic Programs (JM, HJK), pp. 78–86.

SLP-1985-Gallaire85 #logic programming

Logic Programming: Further Developments (HG), pp. 88–96.

SLP-1985-LeeG85 #concurrent #multi #prolog

Concurrent Prolog in a Multiprocess Environment (RKSL, RG), pp. 100–109.

SLP-1985-MiyazakiTC85 #concurrent #implementation #prolog

A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme (TM, AT, TC), pp. 110–118.

SLP-1985-UedaC85 #compilation #concurrent #prolog

Concurrent Prolog Compiler on Top of Prolog (KU, TC), pp. 119–126.

SLP-1985-LeviP85 #declarative #logic #semantics

The Declarative Semantics of Logical Read-Only Variables (GL, CP), pp. 128–137.

SLP-1985-Reddy85 #functional #semantics

Narrowing as the Operational Semantics of Functional Languages (USR), pp. 138–151.

SLP-1985-OKeefe85a #algebra #logic programming #source code #towards

Towards an Algebra for Constructing Logic Programs (RAO), pp. 152–160.

SLP-1985-Carlsson85 #lisp #prolog

A Microcoded Unifier for Lisp Machine Prolog (MC), pp. 162–171.

SLP-1985-Fribourg85 #interpreter #logic programming #named #programming language

SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (LF), pp. 172–184.

SLP-1985-PittomvilsBW85 #garbage collection #prolog #realtime #towards

Towards a Real-Time Garbage Collector for Prolog (EP, MB, YDW), pp. 185–198.

SLP-1985-SawamuraT85 #optimisation #prolog #recursion

Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization (HS, TT), pp. 200–207.

SLP-1985-GallierR85 #graph grammar #logic programming

Logic Programming and Graph Rewriting (JHG, SR), pp. 208–219.

SLP-1985-CoxP85 #deduction #logic programming

Surface Deduction: A Uniform Mechanism for Logic Programming (PTC, TP), pp. 220–227.

SLP-1985-ChomickiM85 #programming #prolog #scalability #source code #towards

Towards a Programming Environment for Large Prolog Programs (JC, NHM), pp. 230–241.

SLP-1985-GanzingerH85 #compilation #composition #logic programming

Modular Logic Programming of Compilers (HG, MH), pp. 242–253.

SLP-1985-SrivastavaOS85 #functional #integration #logic #programming

An(other) Integration of Logic and Functional Programming (AS, DO, AS), pp. 254–260.

SLP-1985-Narain85 #evaluation #lazy evaluation #logic

A Technique for Doing Lazy Evaluation in Logic (SN), pp. 261–269.