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.
CITATION STYLE
Tarau, P. (1992). Binprolog: A continuation passing style prolog engine. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 631 LNCS, pp. 479–480). Springer Verlag. https://doi.org/10.1007/3-540-55844-6_158
Mendeley helps you to discover research relevant for your work.