XSB support for recursion over negation
Issue #437
resolved
There are two things that need to be done in order to support recursion over negation:
1: make sure all potential calls that can cause recursion over negation are ground (i.e. instantiated)
2: For all top-level queries (the ones that IDP asks XSB), include a detection that the answer tuples can be undefined. If one such answer tuple exists, there is no (two-valued) model of the definition and hence the definition is non-total. In this case, return "nil"
Attached is a file that checks whether the necessities have been implemented.
Comments (2)
-
reporter -
- changed status to resolved
Merged in xsb_recneg (pull request #324)
Recneg fixes - indentation and reverting useless commit
Fixes
#437→ <<cset 47dd08bca687>>
- Log in to comment
Issue
#339was marked as a duplicate of this issue.