Partial translation: towards a portable and efficient prolog implementation technology

DOI10.1016/S0743-1066(96)00063-5MaRDI QIDQ4345907zbMATH OpenFDO

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)

zbMATH Keywords

binary prologC-ificationpartial translation

Mathematics Subject Classification ID

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

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

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)