Структуры данных. Сложные утверждения в Прологе

ЦЕЛЬ: Знакомство со структурами данных и их унификацией. Построение сложных утверждений в Прологе с помощью связок "и", "или", "не".

СТРУКТУРА ЯЗЫКА

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

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

Унификация

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

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

ЗАДАНИЕ 2.1

Прочитать приложение 1.