Delimited continuations for prolog

DOI10.1017/S1471068413000331zbMath1312.68037OpenAlexW2130513355MaRDI QIDQ5398293

Benoit Desouter, Tom Schrijvers, Bart Demoen, 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)

Related Items (6)

Fifty Years of Prolog and Beyond ⋮ Efficient algebraic effect handlers for Prolog ⋮ Disjunctive delimited control ⋮ Unnamed Item ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control ⋮ Executable Relational Specifications of Polymorphic Type Systems Using Prolog

Uses Software

• ALGOL 68

This page was built for publication: Delimited continuations for prolog