Пролог имеет внутренние подпрограммы унификации для выполнения сопоставления целей и подцелей с фактами и головами правил для того, что чтобы доказать (или вычислить) эти цели или подцели. Эти же подпрограммы также определяют, сгенерированы ли новые подцели правой часть правила.

Программист в соответствии с логическим синтаксисом Пролога объявляет, какие факты и правила дают тот или иной результат при различных подцелях, а внутренние подпрограммы унификации выполняют оставшуюся часть работы.

Внутренние унификационные подпрограммы также означивают переменные. Означенные переменные и константы имеют значения, «известные» Прологу. Свободные переменные значений не имеют.

!!Рекомендуем: Семейная Энциклопедия Здоровья ⇒ Что должен знать современный человек? ⇒ Самоанализ. Работа над собой ⇒ Оглавление ⇒ Главная сайта