6 citations · 9 across the 5 of their papers we have counts for
5 papers
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…
Improving Prolog programs: Refactoring for Prolog
Alexander Serebrenik, Tom Schrijvers, Bart Demoen
Refactoring is an established technique from the object-oriented (OO) programming community to restructure code: it aims at improving software readability, maintainability and exte…
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…
Improving Prolog Programs: Refactoring for Prolog
Tom Schrijvers, Alexander Serebrenik
Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactorin…