testIsXY
Tests the queries
?- (X = 1 + 2, 'is'(Y, X * 3)).Content copied to clipboard
succeeds on a solver initialized with default built-ins and with and empty theory, producing 2 solutions which binds variable X to 1+2 and Y to 9.