BinProlog: A continuation passing style Prolog engine

  • Paul Tarau
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 631)


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.


  1. 1.
    Demoen, B. On the transformation of a prolog program to a more efficient binary program. Technical Report 130, K.U.Leuven, Dec. 1990.Google Scholar
  2. 2.
    Tarau, P., Boyer, M.: Elementary Logic Programs, Proceedings of PLILP 90, LNCS 456 (1990) 159–173.Google Scholar
  3. 3.
    Tarau, P.: A simplified abstract machine for the execution of binary metaprograms Proceedings of LPC 91, (1991) 119–128, ICOT, Tokyo.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Paul Tarau
    • 1
  1. 1.Université de MonctonMonctonCanada

Personalised recommendations