Abstract
Since the emergence of Prolog at Marseilles University [1, 2], Prolog has evolved considerably. Currently DEC-10 Prolog, which was developed at Edinburgh University, is the de facto standard and both the interpreted and the compiled versions of DEC-10 Prolog are written in Prolog itself. In spite of the recent emergence of several inexpensive implementations for personal computers and ongoing work on concurrent Prolog, the DEC-10 implementation of Prolog is currently thought to be the best in terms of both practicality and completeness [3, 4].
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Russel, P., Prolog-Manual de référence et d’utilisation, Groupe d’Intelligence Artificielle, Marseille Luminy, 1975.
Colmerauer, A., Les grammaires de metamorphose, Groupe d’Intelligence Artificielle, Marseille Luminy, 1975.
Pereira, F., C-Prolog User’s Manual, version 1.2a EdCAAD, Univ. of Edinburgh, 1983.
Warren, D. H. D., Implementing Prolog — compiling predicate logic programs, Depart. AI, Univ. Edinburgh, 1977.
Bowen, D. L., DEC System-10 Prolog User’s Manual Univ. of Edinburgh, 1981.
Prolog-KABA Reference Manual, Iwasaki Giken, Osaka, 1984 (Jpn.).
K-Prolog Reference Manual, Sheenik Ltd., 1983.
Prolog-1 Language Reference Manual, Expert Systems Ltd., 1983.
Kunifuji et al., C-Prolog Technical Report, ICOT Internal Document, 1983 (Jpn.).
Okino, H., An examination of a utility program for declarative languages, Japanese Information Society, Artificial Intelligence and Interactive Techniques, 26-3, 1982 (Jpn.).
Clocksin, W. F. and Mellish, C. S., Programming in Prolog, Springer-Verlag, 1981.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Mizoguchi, F. (1991). A comparison of various implementations of Prolog. In: Mizoguchi, F. (eds) Prolog and its Applications. Springer, Boston, MA. https://doi.org/10.1007/978-1-4899-7144-9_1
Download citation
DOI: https://doi.org/10.1007/978-1-4899-7144-9_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-412-37770-9
Online ISBN: 978-1-4899-7144-9
eBook Packages: Springer Book Archive