Tabling as a library with delimited control

DOI10.1017/S1471068415000137MaRDI QIDQ4592987zbMATH OpenOpenAlexFDO

Authors Benoit Desouter, Marko van Dooren, Tom Schrijvers

Publication date 9 November 2017

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

Full work available at URL https://arxiv.org/abs/1507.08087

zbMATH Keywords

logic programmingPrologtabulationdelimited continuationstabling

Mathematics Subject Classification ID

Logic programming (68N17)

Abstract: Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investment out of reach of most systems. To enable more widespread adoption, we present a new implementation of tabling in under 600 lines of Prolog code. Our lightweight approach relies on delimited control and provides reasonable performance.

Recommendations

• scientific article; zbMATH DE number 1950447
• Disjunctive delimited control
• Publication:4506394
• An External Module for Implementing Linear Tabling in Prolog
• XSB: extending Prolog with tabled logic programming

Cites work

• scientific article; zbMATH DE number 2085277 (Why is no real title available?)
• An overview of Ciao and its design philosophy
• Handling algebraic effects
• Principles of declarative programming. 10th international symposium, PLILP '98. Held jointly with the 6th international conference, ALP '98, Pisa, Italy, September 16--18, 1998. Proceedings
• Tabled evaluation with delaying for general logic programs
• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
• The YAP prolog system
• The language features and architecture of B-Prolog
• XSB: extending Prolog with tabled logic programming

Cited in

(10)

• An External Module for Implementing Linear Tabling in Prolog
• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• scientific article; zbMATH DE number 1950447 (Why is no real title available?)
• Delimited continuations for Prolog
• Parallel Logic Programming: A Sequel
• scientific article; zbMATH DE number 1508930 (Why is no real title available?)
• Efficient algebraic effect handlers for Prolog
• Table space designs for implicit and explicit concurrent tabled evaluation
• Disjunctive delimited control
• Lightweight functional logic meta-programming

Describes a project that uses

Uses Software

• CAT
• XSB
• B-Prolog
• YAP-Prolog

This page was built for publication: Tabling as a library with delimited control

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