An External Module for Implementing Linear Tabling in Prolog

DOI10.1007/11799573_35MaRDI QIDQ5449622zbMATH OpenOpenAlexFDO

Authors Claudio T. Silva, Ricardo Rocha, Ricardo Lopes

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_35

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1487846
• Publication:4506394
• Tabling as a library with delimited control
• On combining linear-based strategies for tabled evaluation of logic programs
• Linear tabling strategies and optimizations

Cited in

(2)

• Dynamic reordering of alternatives for definite logic programs
• Tabling as a library with delimited control

This page was built for publication: An External Module for Implementing Linear Tabling in Prolog

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