1 paper
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…