Структуры и сложные термы

Структуры и сложные термы

   Структуры – объекты, которые состоят из нескольких компонент. Записывается с помощью указания ее функтора и компонента. Компоненты заключаются в ( ) и разделяются ,. Функтор записывается перед открывающей скобкой.

data_rogd (5, mart, 1980)

Число компонентов в структуре называется арностью структуры. В качестве компонент могут быть переменные или структуры.

data_rogd (D, mart, 1980)

line ( point (1, 1), point (3, 4))

   Все структурные объекты можно избразить в виде деревьев. Корнем дерева является функтор, а ветвями, выходящими из него – компоненты.

   Программа на ТП состоит из нескольких разделов, каждому из которых предшествует ключевое слово.

Типичная структура программы:

/* комментарий */   % комментарий

domains

      <описание типов данных>

predicates

      <описание предикатов>

goal

      <целевое утверждение>

clauses

      <утверждения (предложения)>

   В программе необязательно наличие всех разделов. Обычно должно быть по крайней мере разделы 2  и 4. В программе могут присутствовать еще 2 раздела для определения глобальных доменов и предикатов – global domains, global predicates.

   Они позволяют обеспечить междумодульный интерфейс, если программа состоит из нескольких модулей. При работе с базами данных в программе должен присутствовать раздел database для описания предиката динамичекой базы данных. Он должен располагаться перед разделом predicates. Программа может создать несколько разделов domains, predicates, clauses. При этом надо соблюдать следующие ограничения:

·        раздел должен начинаться с ключевого слова;

·        при компиляции поддерживается только одна цель, следовательно может быть только один раздел goal;

·        все предложение раздела clauses, описывающие один и тот же предикат должны записываться друг за другом;

·       при компиляции может обрабатываться только один раздел глобальных предикатов, при этом перед ним не должен использоваться раздел объявления обычных предикатов;