Linear tabling strategies and optimizations

DOI10.1017/S147106840700316XMaRDI QIDQ5437650zbMATH OpenOpenAlexFDO

Authors Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen

Publication date 21 January 2008

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

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

zbMATH Keywords

linear tablingmemoizationPrologrecursionsemi-naive evaluationtabling

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1950447
• scientific article; zbMATH DE number 1332641
• Linear tabulated resolution based on Prolog control strategy
• On combining linear-based strategies for tabled evaluation of logic programs
• Efficient access mechanisms for tabled logic programs

Cited in

(31)

• Learning to rank in PRISM
• scientific article; zbMATH DE number 1696601 (Why is no real title available?)
• The language features and architecture of B-Prolog
• Tabling, rational terms, and coinduction finally together!
• Using tabled logic programming to solve the Petrobras planning problem
• Infinite probability computation by cyclic explanation graphs
• On combining linear-based strategies for tabled evaluation of logic programs
• Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
• Swapping evaluation: a memory-scalable solution for answer-on-demand tabling
• Logic-Based Probabilistic Modeling
• Efficient access mechanisms for tabled logic programs
• scientific article; zbMATH DE number 1332641 (Why is no real title available?)
• scientific article; zbMATH DE number 1950447 (Why is no real title available?)
• scientific article; zbMATH DE number 1956546 (Why is no real title available?)
• Linear tabulated resolution based on Prolog control strategy
• scientific article; zbMATH DE number 1487801 (Why is no real title available?)
• scientific article; zbMATH DE number 1508930 (Why is no real title available?)
• Viterbi training in PRISM
• Planning as tabled logic programming
• Tabling with sound answer subsumption
• scientific article; zbMATH DE number 2085268 (Why is no real title available?)
• scientific article; zbMATH DE number 2085277 (Why is no real title available?)
• scientific article; zbMATH DE number 1420818 (Why is no real title available?)
• Automated Deduction – CADE-20
• Failure tabled constraint logic programming by interpolation
• Handling Incomplete and Complete Tables in Tabled Logic Programs
• An External Module for Implementing Linear Tabling in Prolog
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming
• Parallel Logic Programming: A Sequel
• Enhancing global SLS-resolution with loop cutting and tabling mechanisms

This page was built for publication: Linear tabling strategies and optimizations

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