Спрогнозируйте, какими будут ответы Пролога на следующие запросы.
?- point(X,Y,15) = point(25,Y1,Z1).
?- bEAr = 'bEAr'.
?- f(X,X) = f(a,b).
?- f(X,a(b,c)) = f(Z,a(Z,c)).
 Ответ 

?- point(X,Y,15) = point(25,Y1,Z1).   X=25, Z1=15
?- bEAr = 'bEAr'.                     Yes
?- f(X,X) = f(a,b).                   No
?- f(X,a(b,c)) = f(Z,a(Z,c)).         X=b, Z=b