testMultipleTermUnify
Tests the query
?- '='(f(A,B,C),f(g(B,B),g(C,C),g(D,D))).Content copied to clipboard
succeeds on a solver initialized with default built-ins and with and empty theory, producing 3 solutions which binds variable A to g(g(g(D,D),g(D,D)),g(g(D,D),g(D,D))), the variable B to g(g(D,D),g(D,D)) and the variable C to g(D,D).