Representation sharing for Prolog

DOI10.1017/S1471068411000421zbMath1272.68080OpenAlexW2170948668MaRDI QIDQ2845123

Bart Demoen, Phuong-Lan Nguyen

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)

Cites Work

• Unnamed Item
• Machine learning: ECML 2006. 17th European conference on machine learning Berlin, Germany, September 18--22, 2006. Proceedings
• SWI-Prolog and the web
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Tabled evaluation with delaying for general logic programs
• O(1) reversible tree navigation without cycles

This page was built for publication: Representation sharing for Prolog