2. SLP 1985: Boston, Massachusetts

Keynote Address

• Robert A. Kowalski: Directions for Logic Programming. 2-7 BibTeX

Parallelism

• Jung-Herng Chang, Alvin M. Despain: Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis. 10-21 BibTeX
• Janice I. Glasgow, Michael A. Jenkins, Carl McCrosky: User Defined Parallel Control Strategies in Nial. 22-28 BibTeX
• Piotr Dembinski, Jan Maluszynski: AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. 29-38 BibTeX

Extensions

• Zerksis D. Umrigar, Vijay Pitchumani: An Experiment in Programming with Full First-Order Logic. 40-47 BibTeX
• Kenneth A. Bowen, Tobias Weinberg: A Meta-Level Extension of Prolog. 48-53 BibTeX
• Nachum Dershowitz, David A. Plaisted: Logic Programming cum Applicative Programming. 54-66 BibTeX

Language Issues

• Richard A. O'Keefe: On the Treatment of Cuts in Prolog Source-Level Tools. 68-72 BibTeX
• Lee Naish: All Solutions Predicates in Prolog. 73-77 BibTeX
• Jan Maluszynski, Henryk Jan Komorowski: Unification-Free Execution of Logic Programs. 78-86 BibTeX

Invited Paper

• Hervé Gallaire: Logic Programming: Further Developments. 88-96 BibTeX

Concurrent Prolog

• Rosanna K. S. Lee, Randy Goebel: Concurrent Prolog in a Multiprocess Environment. 100-109 BibTeX
• Toshihiko Miyazaki, Akikazu Takeuchi, Takashi Chikayama: A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme. 110-118 BibTeX
• Kazunori Ueda, Takashi Chikayama: Concurrent Prolog Compiler on Top of Prolog. 119-126 BibTeX

Semantics

• Giorgio Levi, Catuscia Palamidessi: The Declarative Semantics of Logical Read-Only Variables. 128-137 BibTeX
• Uday S. Reddy: Narrowing as the Operational Semantics of Functional Languages. 138-151 BibTeX
• Richard A. O'Keefe: Towards an Algebra for Constructing Logic Programs. 152-160 BibTeX

Implementation Issues

• Mats Carlsson: A Microcoded Unifier for Lisp Machine Prolog. 162-171 BibTeX
• Laurent Fribourg: SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. 172-184 BibTeX
• Edwin Pittomvils, Maurice Bruynooghe, Yves D. Willems: Towards a Real-Time Garbage Collector for Prolog. 185-198 BibTeX

Theory

• Hajime Sawamura, Taku Takeshima: Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization. 200-207 BibTeX
• Jean H. Gallier, Stan Raatz: Logic Programming and Graph Rewriting. 208-219 BibTeX
• Philip T. Cox, Tomasz Pietrzykowski: Surface Deduction: A Uniform Mechanism for Logic Programming. 220-227 BibTeX

Special Topics

• Jan Chomicki, Naftaly H. Minsky: Towards a Programming Environment for Large Prolog Programs. 230-241 BibTeX
• Harald Ganzinger, Michael Hanus: Modular Logic Programming of Compilers. 242-253 BibTeX
• Amitabh Srivastava, Don Oxley, Aditya Srivastava: An(other) Integration of Logic and Functional Programming. 254-260 BibTeX
• Sanjai Narain: A Technique for Doing Lazy Evaluation in Logic. 261-269 BibTeX