Delimited continuations for prolog

T. Schrijvers; B. Demoen; B Desouter; J. Wielemaker

doi:10.1017/S1471068413000331

Delimited continuations for prolog

T. Schrijvers, B. Demoen, B Desouter, J. Wielemaker

Research output: Contribution to Journal › Article › Academic › peer-review

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. Copyright © 2013 [TOM SCHRIJVERS, BART DEMOEN, BENOIT DESOUTER and JAN WIELEMAKER].

Original language	English
Pages (from-to)	533-546
Number of pages	14
Journal	Theory and practice of logic programming
Volume	13
Issue number	4-5
DOIs	https://doi.org/10.1017/S1471068413000331
Publication status	Published - 2013

Access to Document

10.1017/S1471068413000331

Persistent URL (handle)

Persistent link

Cite this

@article{8aa894e16ee141e7b7685b9bbe6dd3c3,

title = "Delimited continuations for prolog",

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. Copyright {\textcopyright} 2013 [TOM SCHRIJVERS, BART DEMOEN, BENOIT DESOUTER and JAN WIELEMAKER].",

author = "T. Schrijvers and B. Demoen and B Desouter and J. Wielemaker",

year = "2013",

doi = "10.1017/S1471068413000331",

language = "English",

volume = "13",

pages = "533--546",

journal = "Theory and practice of logic programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "4-5",

}

TY - JOUR

T1 - Delimited continuations for prolog

AU - Schrijvers, T.

AU - Demoen, B.

AU - Desouter, B

AU - Wielemaker, J.

PY - 2013

Y1 - 2013

N2 - 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. Copyright © 2013 [TOM SCHRIJVERS, BART DEMOEN, BENOIT DESOUTER and JAN WIELEMAKER].

AB - 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. Copyright © 2013 [TOM SCHRIJVERS, BART DEMOEN, BENOIT DESOUTER and JAN WIELEMAKER].

U2 - 10.1017/S1471068413000331

DO - 10.1017/S1471068413000331

M3 - Article

SN - 1471-0684

VL - 13

SP - 533

EP - 546

JO - Theory and practice of logic programming

JF - Theory and practice of logic programming

IS - 4-5

ER -

Delimited continuations for prolog

Abstract

Access to Document

Persistent URL (handle)

Fingerprint

Cite this