Цель

Результат

Комментарий

goal: eq(X, a).

X=a

Переменная X унифицируется с термом a

goal: eq(X, Y).

Да

Переменная X унифицируется с переменной Y

goal: eq(X, a), eq(X, Y).

X=a     Y=a

Переменная Y получает значение переменной X

goal: eq(a, b).

Нет

Неодинаковые константы не унифицируются

goal: eq(X, @r(In, Out, '0', _, 'Главный')).

X=@r(In, Out, '0', _, 'Главный')

Переменная X унифицируется с составным термом @r(In, Out, '0', _, 'Главный')