The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines

@article{Tarau2012TheBE,
  title={The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines},
  author={Paul Tarau},
  journal={TPLP},
  year={2012},
  volume={12},
  pages={97-126}
}
We describe the BinProlog system’s compilation technology, runtime system and its extensions supporting first-class Logic Engines while providing a short history of its development, details of some of its newer re-implementations as well as an overview of the most important architectural choices involved in their design. With focus on its differences with conventional WAM implementations, we explain key details of BinProlog’s compilation technique, which replaces the WAM with a simplified… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 61 REFERENCES

Interoperating Logic Engines

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Nonstandard Answers of Elementary Logic Programs

  • ICLP Workshop on Construction of Logic Programs
  • 1991
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Elementary Logic Programs

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Logic Engines as Interactors

  • ICLP
  • 2008
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

The Jinni Prolog Compiler: a fast and flexible Prolog-in-Java

P. Tarau
  • http://www.binnetcorp.com/download/jinnidemo/JinniUserGuide.html.
  • 2008
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Inference and Computation Mobility with Jinni

VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Multi-engine Horn Clause Prolog

  • Electr. Notes Theor. Comput. Sci.
  • 1999
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…