Abstract
BinProlog is an efficient, compact and portable Prolog system, based on a source-level transformation to continuation passing binary clauses, a completely side-effect free compiler written in Prolog and a simplified WAM, optimized for execution of binary logic programs. We give a short description of the compiler and the engine, some performance data, and we point out some of the reasons why BinProlog compares so well with systems based on the full WAM in terms of absolute performance.
References
Demoen, B. On the transformation of a prolog program to a more efficient binary program. Technical Report 130, K.U.Leuven, Dec. 1990.
Tarau, P., Boyer, M.: Elementary Logic Programs, Proceedings of PLILP 90, LNCS 456 (1990) 159–173.
Tarau, P.: A simplified abstract machine for the execution of binary metaprograms Proceedings of LPC 91, (1991) 119–128, ICOT, Tokyo.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tarau, P. (1992). BinProlog: A continuation passing style Prolog engine. In: Bruynooghe, M., Wirsing, M. (eds) Programming Language Implementation and Logic Programming. PLILP 1992. Lecture Notes in Computer Science, vol 631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55844-6_158
Download citation
DOI: https://doi.org/10.1007/3-540-55844-6_158
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55844-6
Online ISBN: 978-3-540-47297-1
eBook Packages: Springer Book Archive