Delimited continuations for Prolog

DOI10.1017/S1471068413000331zbMATH Open1312.68037OpenAlexW2130513355MaRDI QIDQ5398293FDOQ5398293

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

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

zbMATH Keywords

Prologdelimited continuations

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (9)

• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Title not available (Why is that?)
• Executable relational specifications of polymorphic type systems using Prolog
• Logic continuations
• Efficient algebraic effect handlers for Prolog
• Fifty Years of Prolog and Beyond
• Prolog's control constructs in a functional setting -- axioms and implementation
• Disjunctive delimited control
• Title not available (Why is that?)

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)