Abstract
The paper describes some interesting features of MProlog, a structure sharing Prolog implementation developed in Hungary in early eighties. Following a brief overview of system structure, we describe some special language elements of MProlog, with the emphasis placed on implementation aspects. Several extensions to Warren’s structure sharing compilation model, employed in the MProlog compiler, are also discussed. Finally, a brief description of the implementation technology of MProlog is given.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Applied Logic Systems Inc. ALS Prolog Beta-Test Documentation, 1986.
J. Bendl, P. Köves, and P. Szeredi. The MPROLOG system. In S.-Å. Tärnlund, editor, Logic Programming Workshop, pages 201–209, Debrecen, Hungary, 1980.
T. Chikayama, H. Sato, and T. Miyazaki. Overview of the Parallel Inference Machine Operating System PIMOS. In FGCS, pages 230–251, Tokyo, November 1988. ICOT.
Epsilon GmbH, Berlin. CDL2 Language Reference Manual, 1984.
I. Futó, F. Darvas, and P. Szeredi. The Application of PROLOG to the Development of QA and DBM Systems. In Hervé Gallaire and Jack Minker, editors, Logic and Data Bases, pages 347–376. Plenum Press, New York and London, 1978.
P. Köves and P. Szeredi. Getting the Most Out of Structure Sharing. In Collection of Papers on Logic Programming, pages 69–84. SZKI, Budapest, 1988.
P. Szeredi. PROLOG — a Very High Level Language Based on Predicate Logic. In Proceedings of the Second Hungarian Computer Science Conference, pages 853–866, Budapest, 1977. John von Neumann Computer Society.
SZKI and Logicware, Budapest and Toronto. MProlog Language Reference, 1985.
SZKI and Logicware, Budapest and Toronto. MProlog Logic Lab Reference, 1985.
D. H. D. Warren. Implementing Prolog—Compiling Predicate Logic Programs. DAI Research Report 39-40, University of Edinburgh, 1977.
D. H. D. Warren. An Improved Prolog Implementation which Optimizes Tail Recursion. In S.-Å. Tärnlund, editor, Logic Programming Workshop, Debrecen, Hungary, 1980.
D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Farkas, Z., Köves, P., Szeredi, P. (1994). MProlog: an Implementation Overview. In: Tick, E., Succi, G. (eds) Implementations of Logic Programming Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2690-2_8
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2690-2_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-6157-2
Online ISBN: 978-1-4615-2690-2
eBook Packages: Springer Book Archive