Unexplained behaviour wrt the well founded semantics - Part 3

Thank you Jan !!

To validate the fix, I just need to activate the little green square besides “Solution”, is that correct ?



Normally yes, but there are multiple problems handled in the same thread. Would clarify if you add a last reply that things are resolved.
Thanks for the clear reports. I’ve sent a mail to the XSB people.