Структура языка

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

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

Унификация

заключается в посимвольном или поэлементном сравнении двух конструкций языка и связывании переменных-параметров одной конструкции (образца) с соответствующими элементами другой. Унификация может быть успешной (true) или неуспешной (fail). В случае успеха оба унифицируемых терма могут измениться, при этом они станут синтаксически равными. Кроме того, после унификации две переменные могут оказаться взаимосвязанными.

Унификация сложных термов определяется рекурсивно.