2. SLP 1985: Boston, Massachusetts

Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, July 15-18, 1985. IEEE-CS 1985, ISBN 0-8186-0636-3

Keynote Address

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

Parallelism

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

Extensions

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

Language Issues

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

Invited Paper

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

Concurrent Prolog

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

Semantics

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

Implementation Issues

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

Theory

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

Special Topics

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

Last update Tue Feb 14 04:11:19 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page