Унификация есть основной механизм обработки запросов в логическом программировании. ... 1) Переменная унифицируется с атомом или составным термом. ... X=коля. X=коля Yes 2) Переменная унифицируется с переменной , при этом они обе становятся как бы одной и той же переменной. ... X = борис Yes ?- дедушка(борис, Y)=отец(X). ... Термы больше(Х, собака) и больше(осел, собака) унифицируются, потому что переменная X может быть конкретизирована атомом осел : ?- больше(Х,собака) = больше(осел,собака). ...