I noticed recently that certain statements in s(CASP) rules do not generate corresponding nodes in the explanation tree.
The two that I have confirmed are disunities, and numerical constraints.
An example demonstrating disunities is available here: SWISH -- SWI-Prolog for SHaring
The rule has three conditions, but the explanation has only two lines.
Is this something that can be changed? What sorts of statements does it apply to, and is there an efficient workaround?
Thanks in advance.