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 BibTeX
Julian Davies: POLER - Implementation of a POP-2-based PLANNER. 28-49 BibTeX
Ralph E. Griswold: The Control of Searching and Backtracking in String Pattern Matching. 50-64 BibTeX
Feliks Kluzniak: The 'Marseille Interpreter' - a Personal Perspective. 65-70 BibTeX
Feliks Kluzniak, Stan Szpakowicz: Prolog - a Panacea? 71-84 BibTeX

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

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

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

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