Интеллектуальные информационные системы. Макаренко С.И. - 122 стр.

арности 1 и 2, синтаксис списков для структур в форме списков и синтаксис
строк для структур, являющихся списками кодов символов.

                      14.1.5 Синтаксис операторов

     Структуры арности 1 и 2 могут быть записаны в операторной форме,
если атом, используемый как главный функтор в структуре, объявить
оператором.

                       14.1.6 Синтаксис списков

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

                         14.1.7 Синтаксис строк

      Строка определяется как список кодов символов. Коды символов
имеют особое значение в языках программирования. Они выступают как
средство связи компьютера с внешним миром. В большинстве реализации
Пролога существует специальный синтаксис для записи строк. Он подобен
синтаксису атомов. Строкой является любая последовательность символов,
которые могут быть напечатаны (кроме двойных кавычек), заключенная в
двойные кавычки. Двойные кавычки в пределах строки записываются
дважды "".
      В некоторых реализациях Пролога строки рассматриваются как
определенный тип объектов подобно атомам или спискам. Для их обработки
вводятся специальные встроенные предикаты. В других реализациях строки
обрабатываются в точности так же, как списки, при этом используются
встроенные предикаты для обработки списков. Поскольку все строки могут
быть определены как атомы или как списки целых чисел, и понятие строки
является чисто синтаксическим, мы не будем более к нему возвращаться.

                          14.2 Утверждения

      Программа на Прологе есть совокупность утверждений. Утверждения
состоят из целей и хранятся в базе данных Пролога. Таким образом, база
данных Пролога может рассматриваться как программа на Прологе. В конце
утверждения ставится точка «.». Иногда утверждение называется
предложением.
     Основная операция Пролога — доказательство целей, входящих в
утверждение.


                                   121