Search Results - "Desouter, Benoit"

Tabling as a library with delimited control.

Authors: DESOUTER, BENOIT VAN DOOREN, MARKO SCHRIJVERS, TOM et al.

Source: Theory & Practice of Logic Programming. Jul2015, Vol. 15 Issue 4/5, p419-433. 15p.

Tabling with Sound Answer Subsumption.

Authors: VANDENBROUCKE, ALEXANDER PIRÓG, MACIEJ DESOUTER, BENOIT et al.

Source: Theory & Practice of Logic Programming; Sep2016, Vol. 16 Issue 5/6, p933-949, 17p

Tor: Modular search with hookable disjunction.

Authors: Schrijvers, Tom Demoen, Bart Triska, Markus et al.

Source: Science of Computer Programming; May2014, Vol. 84, p101-120, 20p

Delimited continuations for prolog.

Authors: SCHRIJVERS, TOM DEMOEN, BART DESOUTER, BENOIT et al.

Source: Theory & Practice of Logic Programming; Jul2013, Vol. 13 Issue 4/5, p533-546, 14p