Implementations of Prolog, 1984

John A. Campbell (Ed.): Implementations of Prolog. Ellis Horwood/Halsted Press/Wiley, 1984, ISBN 0-85312-675-5

Past and present

Mark Dowson: A Note on Micro-Planer. 19-27
Julian Davies: POLER - Implementation of a POP-2-based PLANNER. 28-49
Ralph E. Griswold: The Control of Searching and Backtracking in String Pattern Matching. 50-64
Feliks Kluzniak: The 'Marseille Interpreter' - a Personal Perspective. 65-70
Feliks Kluzniak, Stan Szpakowicz: Prolog - a Panacea? 71-84

Martin Nilsson: The World's Shortest Prolog Interpreter? 87-92
Maarten H. van Emden: An Interpreting Algorithm for Prolog Programs. 93-110
Rabbe Fogelholm: Exeter Prolog - some thoughts on Prolog design by a LISP user. 111-116
Kenneth M. Kahn, Mats Carlsson: How to Implement Prolog on a LISP Machine. 117-134
Katsuhiko Nakamura: Associative Evaluation of Prolog Programs. 135-146
Chris Mellish, Steve Hardy: Integrating Prolog in the POPLOG Environment. 147-162
Ivan Futó, János Szeredi: System Simulation and Cooperative Problem-solving on a Prolog Basis. 163-174

Luís Moniz Pereira: Logic Control with Logic. 177-193
Maurice Bruynooghe, Luís Moniz Pereira: Deduction Revision by Intelligent Backtracking. 194-215
Philip T. Cox: Finding Backtrack Points for Intelligent Backtracking. 216-233
Seif Haridi, Dan Sahlin: Efficient Implementation of Unification of Cyclic Structures. 234-249
Miguel Filgueiras: A Prolog Interpreter Working with Infinite Terms. 250-258
Maurice Bruynooghe: Garbage Collection in Prolog Interpreters. 259-267
António Porto: Epilog: A Language for Extended Programming in Logic. 268-278

Jørgen Fischer Nilsson: Formal Vienna-Definition-Method Models of Prolog. 281-308
Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. 309-326

Luís Monteiro: A Proposal for Distributed Programming in Logic. 329-340
Michael J. Wise: EPILOG: Re-interpreting and Extending Prolog for a Multiprocessor Environment. 341-351
Stephen John Turner: W-Grammars for Logic Programming. 352-368
John A. Campbell, Steve Hardy: Should Prolog be List or Record Oriented. 367-375
Richard Ennals, Jonathan Briggs, Derek R. Brough: What the naive user wants from Prolog. 376-386
Mark Warner: The Taming of the Sleuth. 387-388