Abstract is missing.
- A Note on Micro-PlanerMark Dowson. 19-27
- The Control of Searching and Backtracking in String Pattern MatchingRalph E. Griswold. 50-64
- The Marseille Interpreter - a Personal PerspectiveFeliks Kluzniak. 65-70
- Prolog - a Panacea?Feliks Kluzniak, Stan Szpakowicz. 71-84
- How to Implement Prolog on a LISP MachineKenneth M. Kahn, Mats Carlsson. 117-134
- Associative Evaluation of Prolog ProgramsKatsuhiko Nakamura. 135-146
- Integrating Prolog in the POPLOG EnvironmentChris Mellish, Steve Hardy. 147-162
- System Simulation and Cooperative Problem-solving on a Prolog BasisIvan Futó, János Szeredi. 163-174
- Logic Control with LogicLuís Moniz Pereira. 177-193
- Deduction Revision by Intelligent BacktrackingMaurice Bruynooghe, Luís Moniz Pereira. 194-215
- Finding Backtrack Points for Intelligent BacktrackingPhilip T. Cox. 216-233
- Efficient Implementation of Unification of Cyclic StructuresSeif Haridi, Dan Sahlin. 234-249
- A Prolog Interpreter Working with Infinite TermsMiguel Filgueiras. 250-258
- Garbage Collection in Prolog InterpretersMaurice Bruynooghe. 259-267
- Epilog: A Language for Extended Programming in LogicAntónio Porto. 268-278
- Formal Vienna-Definition-Method Models of PrologJørgen Fischer Nilsson. 281-308
- A Formal Model for Lazy Implementations of a Prolog-Compatible Functional LanguageMarco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli. 309-326
- A Proposal for Distributed Programming in LogicLuís Monteiro. 329-340
- EPILOG: Re-interpreting and Extending Prolog for a Multiprocessor EnvironmentMichael J. Wise. 341-351
- W-Grammars for Logic ProgrammingStephen John Turner. 352-368
- Should Prolog be List or Record OrientedJohn A. Campbell, Steve Hardy. 367-375
- What the naive user wants from PrologRichard Ennals, Jonathan Briggs, Derek R. Brough. 376-386