Representation sharing for Prolog

DOI10.1017/S1471068411000421MaRDI QIDQ2845123zbMATH OpenOpenAlexFDO

Authors Phuong-Lan Nguyen, Bart Demoen

Publication date 22 August 2013

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068411000421

zbMATH Keywords

memory managementPrologWAM

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• A new term representation method for prolog
• scientific article; zbMATH DE number 4195153
• Structure sharing for quantified terms: Fundamentals
• Pair-sharing over rational trees
• Negative Ternary Set-Sharing

Cites work

• scientific article; zbMATH DE number 194542 (Why is no real title available?)
• Machine learning: ECML 2006. 17th European conference on machine learning Berlin, Germany, September 18--22, 2006. Proceedings
• O(1) reversible tree navigation without cycles
• SWI-Prolog and the web
• Tabled evaluation with delaying for general logic programs
• The execution algorithm of mercury, an efficient purely declarative logic programming language

Cited in

(2)

• scientific article; zbMATH DE number 4195153 (Why is no real title available?)
• Associative concurrent evaluation of logic programs

This page was built for publication: Representation sharing for Prolog

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