Как работает процесс унификации в языке Prolog?

Процесс унификации в языке Prolog работает путём последовательного сопоставления вопроса с фактами и правилами базы знаний с целью доказательства его реализуемости. pcoding.ru

На каждом шаге выбирается очередной терм и отыскивается соответствующее выражение в базе знаний. edu.tsu.ru При этом переменные либо могут получить значение, либо вновь стать свободными. edu.tsu.ru

Некоторые правила унификации термов: edu.tsu.ru

1. Если термы term1 и term2 — константы, то они унифицируемы (сопоставимы), только если они равны. edu.tsu.ru
2. Если term1 — терм, а Y — переменная, то они унифицируемы, при этом Y принимает значение term1. edu.tsu.ru
3. Если term1 и term2 — составные термы, то они унифицируемы тогда и только тогда, когда у них одинаковые имена функторов, набор аргументов и каждая пара аргументов унифицируема. edu.tsu.ru

Для отождествления двух термов в Прологе используется предикат равенство «=». edu.tsu.ru Он интерпретируется как оператор присваивания или как оператор проверки на равенство в зависимости от того, являются ли значения термов свободными или связанными. edu.tsu.ru