Title: Delimited continuations for Prolog
Authors: Schrijvers, Tom ×
Demoen, Bart
Desouter, Benoit
Wielemaker, Jan #
Issue Date: Jul-2013
Publisher: Cambridge University Press
Series Title: Theory and Practice of Logic Programming vol:13 issue:4-5 pages:533-546
Conference: International Conference on Logic Programming edition:29 location:Istanbul, Turkey date:24-29 August 2013
Abstract: Delimited continuations are a famous control primitive that originates in the functional programming world. It allows the programmer to suspend and capture the remaining part of a computation in order to resume it later. We put a new Prolog-compatible face on this primitive and specify its semantics by means of a meta-interpreter. Moreover, we establish the power of delimited continuations in Prolog with several example definitions of high-level language features. Finally, we show how to easily and effectively add delimited continuations support to the WAM.
ISSN: 1471-0684
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
iclp2013.pdf Accepted 149KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science