This happens because of the way that expressions in is/2 are
compiled, and because of a "feature" in an ancient version of
SBProlog from which XSB is derived. We won't be fixing this
any time soon. -David
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=13069
This happens because of the way that expressions in is/2 are
compiled, and because of a "feature" in an ancient version of
SBProlog from which XSB is derived. We won't be fixing this
any time soon. -David