@jan mentioned on GitHub that the s(CASP) library might have an option to turn off source location reporting in its output, he suggested source(false). I can’t find any mention of it in the source code. Can anyone advise?
This is a potential work-around for a problem with MQI where it throws an error if the toplevel returns a blob. That problem may be solved, soon, too, so not urgent.
But note that this only controls whether the source locations are used, not whether the clause references are included in the Prolog representation of the justification tree to begin with, so I’m not sure setting this option to false will help workaround the MQI issue.