Abstract is missing.
- Directions for Logic ProgrammingRobert A. Kowalski. 2-7
- Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency AnalysisJung-Herng Chang, Alvin M. Despain. 10-21
- User Defined Parallel Control Strategies in NialJanice I. Glasgow, Michael A. Jenkins, Carl McCrosky. 22-28
- AND-Parallelism with Intelligent Backtracking for Annotated Logic ProgramsPiotr Dembinski, Jan Maluszynski. 29-38
- An Experiment in Programming with Full First-Order LogicZerksis D. Umrigar, Vijay Pitchumani. 40-47
- A Meta-Level Extension of PrologKenneth A. Bowen, Tobias Weinberg. 48-53
- Logic Programming cum Applicative ProgrammingNachum Dershowitz, David A. Plaisted. 54-66
- On the Treatment of Cuts in Prolog Source-Level ToolsRichard A. O Keefe. 68-72
- All Solutions Predicates in PrologLee Naish. 73-77
- Unification-Free Execution of Logic ProgramsJan Maluszynski, Henryk Jan Komorowski. 78-86
- Logic Programming: Further DevelopmentsHervé Gallaire. 88-96
- Concurrent Prolog in a Multiprocess EnvironmentRosanna K. S. Lee, Randy Goebel. 100-109
- A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding SchemeToshihiko Miyazaki, Akikazu Takeuchi, Takashi Chikayama. 110-118
- Concurrent Prolog Compiler on Top of PrologKazunori Ueda, Takashi Chikayama. 119-126
- The Declarative Semantics of Logical Read-Only VariablesGiorgio Levi, Catuscia Palamidessi. 128-137
- Narrowing as the Operational Semantics of Functional LanguagesUday S. Reddy. 138-151
- Towards an Algebra for Constructing Logic ProgramsRichard A. O Keefe. 152-160
- SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and RewritingLaurent Fribourg. 172-184
- Towards a Real-Time Garbage Collector for PrologEdwin Pittomvils, Maurice Bruynooghe, Yves D. Willems. 185-198
- Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog OptimizationHajime Sawamura, Taku Takeshima. 200-207
- Logic Programming and Graph RewritingJean H. Gallier, Stan Raatz. 208-219
- Surface Deduction: A Uniform Mechanism for Logic ProgrammingPhilip T. Cox, Tomasz Pietrzykowski. 220-227
- Towards a Programming Environment for Large Prolog ProgramsJan Chomicki, Naftaly H. Minsky. 230-241
- Modular Logic Programming of CompilersHarald Ganzinger, Michael Hanus. 242-253
- A Technique for Doing Lazy Evaluation in LogicSanjai Narain. 261-269