Partial translation: towards a portable and efficient prolog implementation technology

DOI10.1016/S0743-1066(96)00063-5zbMATH Open0878.68039MaRDI QIDQ4345907FDOQ4345907

Authors: Paul Tarau, Koen De Bosschere, Bart Demoen 

Publication date: 28 July 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Recommendations

• Description and optimization of abstract machines in a dialect of Prolog
• Towards Description and Optimization of Abstract Machines in an Extension of Prolog
• A verified prolog compiler for the Warren Abstract Machine
• On the implementation of GNU Prolog
• How to invent a Prolog machine

zbMATH Keywords

binary prologC-ificationpartial translation

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Cited In (1)

• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines

This page was built for publication: Partial translation: towards a portable and efficient prolog implementation technology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4345907)