testClauseVariables
Tests the queries
f(X) :- g(X).
?- clause(f(A),B).Content copied to clipboard
succeeds in such a way that B=g(A), whereas
?- clause(f(1), Z).Content copied to clipboard
succeeds in such a way that Z=g(1)