Stefan Borgwardt

Sorting and disabling functionality for ExplanationServices

1

This pull request modifies the general Explanation preferences. Users can choose between (a) always using the most recently used explanation service when requesting a new explanation (current behavior and default)...

Problems when evaluating multiple levels of arithmetic definitions

3

The following program works: ``` @declare A(any, integer) . @declare B(any, integer) . @declare C(any, integer) . C(?x, ?y) :- A(?x, ?z), B(?x, ?v), ?y = ?z + ?v, ?y...