When using the #abducible command in s(CASP), explanations will include the predicate "abduced", which avoids additional information about the even loop over negation. Since v1.4.0-alpha, blawx isn't using the #abducible command, so it would be nice to find a way to get that same truncated explanation effect without it.
When using the #abducible command in s(CASP), explanations will include the predicate "abduced", which avoids additional information about the even loop over negation. Since v1.4.0-alpha, blawx isn't using the #abducible command, so it would be nice to find a way to get that same truncated explanation effect without it.