Глава 6. Простые и составные объекты

Итак, мы показали вам только несколько видов объектов данных Турбо

Пролога, такие как числа, символы и строки. В этой главе мы обсудим целый

набор объектов данных, которые Турбо Пролог может создавать, от простых

до составных объектов.

Простые объекты данных.

Простой объект данных - это переменная или константа. Если это конс-

танта, то это символ (char) число (integer или real) или атом (symbol или

string).

Переменные как объекты данных.

Переменные, которые мы обсудили в главе 3, должны начинаться с заг-

лавной буквы или с подчеркивания (_). Единственный символ подчеркивания

представляет анонимную переменную, которая находится в ситуации "неважно

что". В Прологе переменная может связываться с любым допустимым аргумен-

том Пролога или объектом данных. Переменные Пролога локальны, а не гло-

бальны. Так, если два предложения содержат переменную, названную Х то это

две различные переменные. Они могут быть связаны друг с другом, если им

посчастливится совпасть во время унификации, но обычно они не оказывают

влияния друг на друга.

Константы как объекты данных.

Константы включают символы, числа и атомы. Значение константы - это

ее имя. Так константа 2 может только соответствовать числу 2, а константа

abrakadabra может соответствовать только символу abrakadabra.

Литеры.

Литеры имеют тип char; они состоят из печатных и непечатных символов

кода ASCII. Печатные символы (32-255) это цифры (0-9), прописные буквы

A-Z , строчные буквы a-z, буквы кириллицы, символы пунктуации и специаль-

ные символы.

Имеется два способа представления литер в качестве констант Турбо

Пролога: прямо или после специального символа (\). Например, здесь пока-

заны некоторые печатные литеры:

'а' '3'

'*' '{'

'W' 'A'

Если вы хотите записать обратную косую черту, двойную кавычку прос-

тую кавычку как литерную константу, Вы должны записать перед ней специ-

альный символ, как здесь

'\"' двойная кавычка

'\\' обратная косая черта

'\'' кавычка

Существует набор символьных констант, которые представляют специаль-

ные функции:

'\n' новая строка (перевод строки)

'\t' табуляция (горизонтальная)

Символьные константы могут также быть записаны своим ASCII кодом

после специального символа:

'\251' символ квадратного корня

'\255' греческая буква бетта

'\3'

Числа.

Числа бывают типа целое integer или вещественное real. Целые могут

содержать значения от -32768 до 32767, включительно. Вещественные хранят-

ся в стандартном формате IEEE и имеют значения от 1е-30 до 1е30

(10^(-308) до 10^308)

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

Целые Вещественные

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

3 3.

-77 34.96

32034 -32769

-10 4е27

0 -7.4е-296

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

Атомы.

Атомы имеют тип символ или строка. Объявленный тип позиции аргумен-

та, где помещается атом, определяет к какому домену принадлежит атом.

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

атомами для домена symbol.

# атомы типа symbol - это имена, начинающиеся со строчной буквы.

# атомы типа string выделяются двойными кавычками и могут содержать

любую комбинацию литер Турбо Пролога.

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

атомы symbol атомы string

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

food "Jesse James"

rick_Jones_2nd "123 Pike street"

fred_flintstone_1000_Bc "jon"

a "a"

new_york "New York"

turboProlog2 "Turbo Prolog, by Borland

International #[phone]"

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