Microsoft Word Книга иис мггу 1 Print doc

14.1.5 Синтаксис операторов 
Структуры арности 1 и 2 могут быть записаны в операторной форме, 
если атом, используемый как главный функтор в структуре, объявить 
оператором. 
14.1.6 Синтаксис списков 
В сущности, список есть не что иное, как некоторая структура арности 
2. Данная структура становится интересной и чрезвычайно полезной в 
случае, когда вторая компонента тоже является списком. Вследствие 
важности таких структур в Прологе имеются специальные средства для 
записи списков.
14.1.7 Синтаксис строк 
Строка определяется как список кодов символов. Коды символов 
имеют особое значение в языках программирования. Они выступают как 
средство связи компьютера с внешним миром. В большинстве реализации 
Пролога существует специальный синтаксис для записи строк. Он подобен 
синтаксису атомов. Строкой является любая последовательность символов, 
которые могут быть напечатаны (кроме двойных кавычек), заключенная в 
двойные кавычки. Двойные кавычки в пределах строки записываются 
дважды "". 
В некоторых реализациях Пролога строки рассматриваются как 
определенный тип объектов подобно атомам или спискам. Для их обработки 
вводятся специальные встроенные предикаты. В других реализациях строки 
обрабатываются в точности так же, как списки, при этом используются 
встроенные предикаты для обработки списков. Поскольку все строки могут 
быть определены как атомы или как списки целых чисел, и понятие строки 
является чисто синтаксическим, мы не будем более к нему возвращаться. 
14.2 Утверждения 
Программа на Прологе есть совокупность утверждений. Утверждения 
состоят из целей и хранятся в базе данных Пролога. Таким образом, база 
данных Пролога может рассматриваться как программа на Прологе. В конце 
утверждения 
ставится 
точка 
«.». 
Иногда 
утверждение 
называется 
предложением
. 
Основная операция Пролога — доказательство целей, входящих в 
утверждение. 

---

123 
Существуют два типа утверждений: 
-