Читаем Prolog полностью

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

        :- ор( 800, xfx, <===>).

        :- ор( 700, xfy, v).

        :- ор( 600, хfу, &).

        :- ор( 500, fy, ~).

Теперь правило де Моргана можно записать в виде следующего факта:

        ~(А & В)  <===>   ~А  v  ~В.

В соответствии с нашими определениями операторов этот терм понимается так, как это показано на рис. 3.9.

Рис. 3. 9.  Интерпретация терма ~(А  &  В)  <===> ~A  v  ~В

Подытожим:

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

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

Программист может вводить свои собственные операторы. Каждый оператор определяется своим именем, приоритетом и типом.

Номер приоритета - это целое число из некоторого диапазона, скажем, между 1 и 1200. Оператор с самым больший номером приоритета соответствует главному функтору выражения, в котором этот оператор встретился. Операторы с меньшими номерами приоритетов связывают свои аргументы сильнее других операторов.

Тип оператора зависит от двух условий:     (1)    его расположения относительно своих аргументов,    (2)     приоритета его аргументов по сравнению с его собственным. В спецификаторах, таких, как xfy,  х   обозначает аргумент, чей номер приоритета строго меньше номера приоритета оператора;  у   - аргумент с номером приоритета, меньшим или равным номеру приоритета оператора.

Упражнения

3. 12.    Если принять такие определения

        :- ор( 300, xfy, играет_в).

        :- ор( 200, xfy, и).

то два следующих терма представляют собой синтаксически правильные объекты:

        Tepмl = джимми играет_в футбол и сквош

        Терм1 = сьюзан играет_в теннис и баскетбол и волейбол

Как эти термы интерпретируются пролог-системой? Каковы их главные функторы и какова их структура?

Посмотреть ответ

3. 13.    Предложите подходящее определение операторов ("работает", "в", "нашем"), чтобы можно было писать предложения типа:

        диана работает секретарем в нашем отделе.

а затем спрашивать:

        ?- Кто работает секретарем в нашем отделе.

        Кто = диана

        ?- диана работает Кем.

        Кем = секретарем в нашем отдела

Посмотреть ответ

3. 14.    Рассмотрим программу:

        t( 0+1, 1+0).

        t( X+0+1, X+1+0).

        t( X+1+1, Z) :-

            t( X+1, X1),

            t( X1+1, Z).

Как данная программа будет отвечать на ниже перечисленные вопросы, если '+' "- это (как обычно) инфиксный оператор типа yfx?

(a)    ?- t( 0+1, А).

(b)    ?- t( 0+1+1, В).

(с)    ?- t( 1+0+1+1+1, С).

(d)    ?- t( D, 1+1+1+0).

Посмотреть ответ

3. 15.    В предыдущем разделе отношения между списка ми мы записывали так:

        принадлежит( Элемент, Список),

        конк( Список1, Список2, Список3),

        удалить( Элемент, Список, НовыйСписок),   . . .

Предположим, что более предпочтительной для нас является следующая форма записи:

        Элемент входит_в Список,

        конкатенация_списков Список1 и Список2

              дает Список3,

        удаление_элемента Элемент из_списка Список

              дает НовыйСписок, ...

Определите операторы "входит_в", "конкатенация_списков", "и" и т.д. таким образом, чтобы обеспечить эту возможность. Переопределите также и соответствующие процедуры.

Посмотреть ответ

Назад | Содержание | Вперёд

Назад | Содержание | Вперёд

3. 4.    Арифметические действия

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

несколькими предопределенными

операторами

.

        +    сложение

        -    вычитание

        *    умножение

        /    деление

        mod     модуль, остаток от целочисленного деления