Определение оператора и его свойства.

Cвойства операторов (позиция, приоритет, ассоциативность). Виды операторов: инфиксные, префиксные, постфиксные.:-op(приоритет, тип, функтор). Операторная форма используется для улучшения формы записи программы. Кроме того, в виде операторов объявлены основные стандартные предикаты пролога (предикаты, выводимость которых обеспечивает система). Вид:op(prior, assoc,name_func)prior - приоритет оператора, определяет порядок выполнения операции, содержащий несколько операторов. В большинстве пролог систем принимает значение от 0 до 1200.assoc - ассоциативность. выполняет порядок операции в выражении, содержащем операторы с разным приоритетом и вид оператора. assoc имеет следующее значение.для префиксных: fx,fy. Для постфиксных: xfyf. Для инфиксных xfy, yfx, xfx.x - обозначает предикат, имеющее приоритет выше приоритета оператора. y - определяет оператор приоритет которого меньше или равен приоритету оператора.

80. Пример "естественной языковой" записи программы на Прологе.

Например, факт с двумя объектами может быть описан так:

likes(tom,computer).

На естественном языке вышеприведенный факт означает: "Тому нравится компьютер".

Общая форма записи правила имеет вид:

<заголовок правила>:- <тело правила>.

Заголовок представляет собой предикат. Тело состоит из термов, которые могут быть связаны между собой "," или ";". (","- означает И,";"- означает ИЛИ).

Между телом и заголовком стоит символ ":-", который означает ЕСЛИ.

Например, правило, состоящее из двух термов может описано следующим образом:

likes(tom,kathy):- likes(kathy,computer), likes(kathy,apples).

На естественном языке это означает: "Тому нравится Кэти, если Кэти нравится компьютер и яблоки."

Дата добавления: 2015-07-19