Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Benoit Desouter

Awards & Distinctions

11 Results

2016

Tabling as a Library with Delimited Control

Benoit DesouterMarko van DoorenTom SchrijversAlexander Vandenbroucke

Tabling with sound answer subsumption

Alexander VandenbrouckeMaciej PirogBenoit DesouterTom Schrijvers

A1 Journal Article in THEORY AND PRACTICE OF LOGIC PROGRAMMING

Towards flexible goal-oriented logic programming

Benoit DesouterTom SchrijversMarko van Dooren

2015

Tabling as a library with delimited control

Benoit DesouterMarko van DoorenTom Schrijvers

A1 Journal Article in THEORY AND PRACTICE OF LOGIC PROGRAMMING

2014

Heuristics entwined with handlers combined: from functional specification to logic programming implementation

Tom SchrijversNicolas WuBenoit DesouterBart Demoen

TOR: modular search with hookable disjunction

Tom SchrijversBart DemoenMarkus TriskaBenoit Desouter

A1 Journal Article in SCIENCE OF COMPUTER PROGRAMMING

2013

Delimited continuations for Prolog

Tom SchrijversBart DemoenBenoit DesouterJan Wielemaker

A1 Journal Article in THEORY AND PRACTICE OF LOGIC PROGRAMMING

Delimited continuations in Prolog: semantics, use, and implementation in the WAM

Tom SchrijversBart DemoenBenoit Desouter

Implementing LP systems with CP techniques

Benoit Desouter

Integrating Datalog and Constraint Solving

Benoit DesouterTom Schrijvers

Tor: modular search with hookable disjunction

Benoit DesouterTom Schrijvers