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

14. ОСНОВЫ ЯЗЫКА ПРОГРАММИРОВАНИЯ ПРОЛОГ 
Материал изложенных в данном разделе нужно рассматривать не как 
учебник по языку Пролог, а только как краткий «ликбез», который служит 
для иллюстрации принципов продукционного программирования, описанных 
ранее. 
14.1 Синтаксис 
14.1.1 Термы 
Объекты данных в Прологе называются 
термами
. Терм может быть 
константой, переменной или составным термом (структурой). 
Константами
являются целые и действительные числа, например: 
0, -l, 123.4, 0.23E-5, 
(некоторые реализации Пролога не поддерживают действительные 
числа). 
К константам относятся также атомы, такие, как: 
голди, а, атом, +, :, 'Фред Блогс', []. 
Атом
есть любая последовательность символов, заключенная в 
одинарные кавычки. Кавычки опускаются, если и без них атом можно 
отличить от символов, используемых для обозначения переменных. 
Приведем еще несколько примеров атомов: 
abcd, фред, ':', Джо. 
Полный синтаксис атомов описан ниже. 
Как и в других языках программирования, константы обозначают 
конкретные элементарные объекты, а все другие типы данных в Прологе 
составлены из сочетаний констант и переменных. 
Имена переменных начинаются с заглавных букв или с символа 
подчеркивания «
_
». Примеры переменных: 
X, Переменная, _3, _переменная. 
Если переменная используется только один раз, необязательно 
называть ее. Она может быть записана как анонимная переменная, состоящая 
из одного символа подчеркивания "_". Переменные, подобно атомам, 
являются элементарными объектами языка Пролог. 
Завершает список синтаксических единиц сложный терм, или 
структура. Все, что не может быть отнесено к переменной или константе, 
называется сложным термом. Следовательно, сложный терм состоит из 
констант и переменных. 

---

120 
Теперь перейдем к более детальному описанию термов.