?- a(b,c(d,e(f,g))) = a(b,c(d,e(f,g))). ?- a(b,c(d,e(f,g))) = a(b,c(d,e(g,f))).
?- a(b,c(d,e(f,g))) = a(b,c(d,e(f,g))). ?- a(b,c(d,e(f,g))) = a(b,c(d,e(g,f))). ?- location(apple, kitchen) = location(apple, X). ?- location(apple, X) = location(Y, kitchen). ?- location(X, kitchen) = location(Y, kitchen). X = _01 Y = _01 ?- X = Y, a(Z) = a(Y), X = hello.
188 views • 6 slides