Is there something that interfers in parsing a query? Like submitting
an alphabetically sorted variable names list before the query, and
thus establish a different variable order?
I get in SWISH:
?- X @< A. false
In the ordinary SWI-Prolog top-level:
?- X @< A. true.
I am struggling with different results in SWISH and SWI-Prolog
for an algorithm that uses (@<)/2.