Листинг 9.1. Алгоритм унификации. Алгоритм действует путем поэлементного сравнения структур входных высказываний. В ходе этого формируется подстановка Θ, которая также является параметром функции Unify и используется для проверки того, что дальнейшие сравнения совместимы со связываниями, которые были определены ранее. В составном выражении, таком как F{ А, в), функция Ор выбирает функциональный символ F, а функция Args выбирает список параметров (А, В)