Delimited continuations for Prolog
From MaRDI portal
Publication:5398293
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
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
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)