1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2016
Tabling with Sound Answer Subsumption
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter +1
Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we ar…
cs.PL2013★ 1 cited
Integrating Datalog and Constraint Solving
Benoit Desouter, Tom Schrijvers
LP is a common formalism for the field of databases and CSP, both at the theoretical level and the implementation level in the form of Datalog and CLP. In the past, close correspon…