Tabling as a library with delimited control
From MaRDI portal
Publication:4592987
DOI10.1017/S1471068415000137zbMATH Open1379.68054arXiv1507.08087OpenAlexW3124149806MaRDI QIDQ4592987FDOQ4592987
Tom Schrijvers, Marko van Dooren, Benoit Desouter
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1507.08087
Cites Work
- Title not available (Why is that?)
- The YAP prolog system
- XSB: extending Prolog with tabled logic programming
- The language features and architecture of B-Prolog
- An overview of Ciao and its design philosophy
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
- Tabled evaluation with delaying for general logic programs
- 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
Cited In (6)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Parallel Logic Programming: A Sequel
- Efficient algebraic effect handlers for Prolog
- Table space designs for implicit and explicit concurrent tabled evaluation
- Disjunctive delimited control
- Lightweight functional logic meta-programming
Uses Software
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)
