Назад | Содержание| Вперёд 3. 3. Операторная запись(нотация) В ма...

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

3. 3.    Операторная запись(нотация)

В математике мы привыкли записывать выраженияв таком виде:

        2*a  +  b*с

где  +  и  *  - это операторы, а   2,   а,   b,   с   - аргументы. В частности,  +  и  *  называют инфиксными операторами,поскольку они появляются между своимиаргументами. Такие выражения могут быть

представлены в виде деревьев, как этосделано на рис. 3.6, и

записаны какпрологовские термы

с

+

  и

*

 в качестве функторов:

        +( *( 2, а), *( b, с) )

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

Подытожим:

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

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

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

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

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

Упражнения

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

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