6 citations · 9 across the 5 of their papers we have counts for
3 papers · 1 filter
Tabling as a Library with Delimited Control
Benoit Desouter, Tom Schrijvers, Marko van Dooren
Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches…
SWI-Prolog
Jan Wielemaker, Tom Schrijvers, Markus Triska +1
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while b…
Optimal Union-Find in Constraint Handling Rules
Tom Schrijvers, Thom Fruehwirth
Constraint Handling Rules (CHR) is a committed-choice rule-based language that was originally intended for writing constraint solvers. In this paper we show that it is also possibl…