Tabling as a library with delimited control

DOI10.1017/S1471068415000137zbMath1379.68054arXiv1507.08087OpenAlexW3124149806MaRDI QIDQ4592987

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)

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

zbMATH Keywords

tablinglogic programmingPrologtabulationdelimited continuations

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

Table space designs for implicit and explicit concurrent tabled evaluation ⋮ Parallel Logic Programming: A Sequel ⋮ Efficient algebraic effect handlers for Prolog ⋮ Disjunctive delimited control ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control

Uses Software

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

Cites Work

• Unnamed Item
• 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
• Handling Algebraic Effects
• The YAP Prolog system
• The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
• XSB: Extending Prolog with Tabled Logic Programming
• The language features and architecture of B-Prolog
• An overview of Ciao and its design philosophy
• Tabled evaluation with delaying for general logic programs

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