testXYUnify
Tests the query
?- `=`(X,Y).Content copied to clipboard
succeeds on a solver initialized with default built-ins and with and empty theory, producing 1 solution which binds variable Y to the variable X.
Tests the query
?- `=`(X,Y).succeeds on a solver initialized with default built-ins and with and empty theory, producing 1 solution which binds variable Y to the variable X.