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

       14. ОСНОВЫ ЯЗЫКА ПРОГРАММИРОВАНИЯ ПРОЛОГ
      Материал изложенных в данном разделе нужно рассматривать не как
учебник по языку Пролог, а только как краткий «ликбез», который служит
для иллюстрации принципов продукционного программирования, описанных
ранее.

                           14.1 Синтаксис

                              14.1.1 Термы

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


                                   118