Простые константы.

Простые константы принадлежат одному из шести стандартных доменов:

char Символ (8-битовый ASCII-символ, заключенный в одиночные

апострофы) принадлежит домену char. Символ ASCII

обозначается символом \, за которым следует код ASCII

этого символа. \n и \t означают соответственно символы

новой строки и табуляции. Символ \, следующий за любым

другим символом, образует этот символ ('\\' образует \,

а '\" образует ').

integer Целое число принадлежит домену integer и находится в

пределах от -32,768 до 32,767.

real Вещественное число принадлежит домену real и находится

в пределах от +-1e -307 до +-1e +308.

Вещественные числа записываются в виде знака, мантиссы,

десятичной точки, дробной части, символа e, знака и

показателя - без пробелов. Например, вещественное

значение -12345.6789*10^14 может быть записано как

-1.23456789e+10.

Знак, дробная часть и показатель необязательны (хотя,

если опускаете дробную часть, то десятичную точку тоже

нужно убрать). Турбо Пролог автоматически преобразует

целые числа в вещественные, когда это необходимо.

string Строка (последовательность символов между парой двойных

кавычек) принадлежит домену string. Строка может

содержать символы, образованные последовательностью

escape (как для char), длина строки не должна превышать

64 К.

Symbol Символическая константа (имя, начинающееся с маленькой

буквы) принадлежит домену типа symbol.

Строки тоже воспринимаются как элементы типа symbol, но

элементы symbol хранятся во внутренней таблице для

быстрейшего сопоставления. Symbol-таблица занимает

некоторую область памяти, поэтому требуется какое-то

время, чтобы войти в таблицу. Однако, если одинаковые

элементы типа symbol часто сравниваются, то их стоит

туда поместить.

file Символическое имя файла принадлежит домену file; это

может быть как имя, которое начинается с маленькой буквы

и встречается в правой части объявления домена file, так

и одно из предопределенных символических имен файлов:

printer, screen, keyboard, coml, stdin, stdout и stderr.

-----------------------------------------------------------------

Термы.

Термы - это либо char,integer,real,string,symbol(также извест-

ный как атом), переменная список, либо составной терм. Мы раскроем эти

синтаксические элементы более детально в следующих разделах.