Ghent University Academic Bibliography

Your filters: cql: keyword exact "prolog"

Add to list
Tabling as a Library with Delimited Control

Benoit Desouter (UGent) , Marko van Dooren (UGent) , Tom Schrijvers (UGent) and Alexander Vandenbroucke

(2016) Artificial Intelligence, 25th International joint conference, Proceedings.
Add to list
- PhD Thesis
- open access
Towards flexible goal-oriented logic programming

Benoit Desouter (UGent)

(2016)
Add to list
- Journal Article
- A1
- open access
Tabling with sound answer subsumption

Alexander Vandenbroucke, Maciej Pirog, Benoit Desouter (UGent) and Tom Schrijvers (UGent)

(2016) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 16. p.933-949
Add to list
- Journal Article
- A1
- open access
Tabling as a library with delimited control

Benoit Desouter (UGent) , Marko van Dooren (UGent) and Tom Schrijvers (UGent)

(2015) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 15(4-5). p.419-433
Add to list
- Journal Article
- A1
- open access
TOR: modular search with hookable disjunction

Tom Schrijvers (UGent) , Bart Demoen, Markus Triska and Benoit Desouter (UGent)

(2014) SCIENCE OF COMPUTER PROGRAMMING. 84. p.101-120
Add to list
Search combinators

Tom Schrijvers (UGent) , Guido Tack, Pieter Wuille, Horst Samulowitz and Peter J Stuckey

(2013) CONSTRAINTS. 18(2). p.269-305
Add to list
- Journal Article
- A1
- open access
Delimited continuations for Prolog

Tom Schrijvers (UGent) , Bart Demoen, Benoit Desouter (UGent) and Jan Wielemaker

(2013) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 13(4-5). p.533-546
Add to list
- Miscellaneous
- open access
Delimited continuations in Prolog: semantics, use, and implementation in the WAM

Tom Schrijvers (UGent) , Bart Demoen and Benoit Desouter (UGent)

(2013)
Add to list
Implementing LP systems with CP techniques

Benoit Desouter (UGent)

(2013) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 13(4-5, online suppl.).
Add to list
- Miscellaneous
- open access
Tor: modular search with hookable disjunction

Benoit Desouter (UGent) and Tom Schrijvers (UGent)

(2013) ALP NEWSLETTER.

Academic Bibliography

Tabling as a Library with Delimited Control

Towards flexible goal-oriented logic programming

Tabling with sound answer subsumption

Tabling as a library with delimited control

TOR: modular search with hookable disjunction

Search combinators

Delimited continuations for Prolog

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

Implementing LP systems with CP techniques

Tor: modular search with hookable disjunction

Contents

Support

Contact