Delimited continuations for Prolog

DOI10.1017/S1471068413000331MaRDI QIDQ5398293zbMATH OpenOpenAlexFDO

Authors Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker

Publication date 27 February 2014

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

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

zbMATH Keywords

Prologdelimited continuations

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Disjunctive delimited control
• Tabling as a library with delimited control
• scientific article; zbMATH DE number 3872649
• scientific article; zbMATH DE number 3972162
• Efficient algebraic effect handlers for Prolog

Cited in

(9)

• scientific article; zbMATH DE number 3972162 (Why is no real title available?)
• Executable relational specifications of polymorphic type systems using Prolog
• Fifty Years of Prolog and Beyond
• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Disjunctive delimited control
• Prolog's control constructs in a functional setting -- axioms and implementation
• scientific article; zbMATH DE number 7453116 (Why is no real title available?)
• Logic continuations
• Efficient algebraic effect handlers for Prolog

Describes a project that uses

Uses Software

• ALGOL 68

This page was built for publication: Delimited continuations for Prolog

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