default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDImplementations of Prolog, 1984
- John A. Campbell:
Implementations of Prolog. . Ellis Horwood/Halsted Press/Wiley 1984, ISBN 0-85312-675-5, pp. 1-388
Past and present
- Mark Dowson:
A Note on Micro-Planer. Implementations of Prolog 1984: 19-27 - D. Julian M. Davies:
POPLER - Implementation of a POP-2-based PLANNER. Implementations of Prolog 1984: 28-49 - Ralph E. Griswold:
The Control of Searching and Backtracking in String Pattern Matching. Implementations of Prolog 1984: 50-64 - Feliks Kluzniak:
The 'Marseille Interpreter' - a Personal Perspective. Implementations of Prolog 1984: 65-70 - Feliks Kluzniak, Stan Szpakowicz:
Prolog - a Panacea? Implementations of Prolog 1984: 71-84
Studies of Implementations
- Martin Nilsson:
The World's Shortest Prolog Interpreter? Implementations of Prolog 1984: 87-92 - Maarten H. van Emden:
An Interpreting Algorithm for Prolog Programs. Implementations of Prolog 1984: 93-110 - Rabbe Fogelholm:
Exeter Prolog - some thoughts on Prolog design by a LISP user. Implementations of Prolog 1984: 111-116 - Kenneth M. Kahn, Mats Carlsson:
How to Implement Prolog on a LISP Machine. Implementations of Prolog 1984: 117-134 - Katsuhiko Nakamura:
Associative Evaluation of Prolog Programs. Implementations of Prolog 1984: 135-146 - Chris Mellish, Steve Hardy:
Integrating Prolog in the POPLOG Environment. Implementations of Prolog 1984: 147-162 - Ivan Futó, János Szeredi:
System Simulation and Cooperative Problem-solving on a Prolog Basis. Implementations of Prolog 1984: 163-174
Current Issues in Prolog Implementation
- Luís Moniz Pereira:
Logic Control with Logic. Implementations of Prolog 1984: 177-193 - Maurice Bruynooghe, Luís Moniz Pereira:
Deduction Revision by Intelligent Backtracking. Implementations of Prolog 1984: 194-215 - Philip T. Cox:
Finding Backtrack Points for Intelligent Backtracking. Implementations of Prolog 1984: 216-233 - Seif Haridi, Dan Sahlin:
Efficient Implementation of Unification of Cyclic Structures. Implementations of Prolog 1984: 234-249 - Miguel Filgueiras:
A Prolog Interpreter Working with Infinite Terms. Implementations of Prolog 1984: 250-258 - Maurice Bruynooghe:
Garbage Collection in Prolog Interpreters. Implementations of Prolog 1984: 259-267 - António Porto:
Epilog: A Language for Extended Programming in Logic. Implementations of Prolog 1984: 268-278
Theoretical Frameworks and Present Implementations
- Jørgen Fischer Nilsson:
Formal Vienna-Definition-Method Models of Prolog. Implementations of Prolog 1984: 281-308 - Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli:
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Implementations of Prolog 1984: 309-326
Proposals for the Future
- Luís Monteiro:
A Proposal for Distributed Programming in Logic. Implementations of Prolog 1984: 329-340 - Michael J. Wise:
EPILOG: Re-interpreting and Extending Prolog for a Multiprocessor Environment. Implementations of Prolog 1984: 341-351 - Stephen John Turner:
W-Grammars for Logic Programming. Implementations of Prolog 1984: 352-368 - John A. Campbell, Steve Hardy:
Should Prolog be List or Record Oriented. Implementations of Prolog 1984: 367-375 - Richard Ennals, Jonathan Briggs, Derek R. Brough:
What the naive user wants from Prolog. Implementations of Prolog 1984: 376-386 - Mark Warner:
The Taming of the Sleuth. Implementations of Prolog 1984: 387-388
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-25 00:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
