Основные Элементы ТурбоПролога
Основные Элементы ТурбоПролога.
Програма на ТП содержит описание задачи, имеющее 3
компоненты:
1. имена
и структуры объектов, используемых в задаче;
2. имена
отношений, которые существуют между объектами;
3. Факты
и правила, описывающие отношения.
Особенности:
-
имена объектов должны начинаться с малой буквы
за которой могут следовать произвольные символы (буквы, цифры, знак
подчеркивания),
-
имена отношений – особые комбинации букв, цифр и
знаков подчеркивания (начинаются с буквы). При выполнении программы на ТП
система пытается выявит все возможные значения, удовлетворяющие данной цели (goal),
-
объекты данных в ТП называются термами.
Терм может быть константой, переменной или структурой.
Классификация объектов данных приведена на схеме.
Атом – синтаксически неделимый терм. На ТП атомы
можносоздать 2-мя способами: из цепочек букв, цифр, символов подчеркивания; из
цепочки символов, заключенных в кавычки.
Констаныты относятся к одному из 6 стандартных типов данных:
Тип
|
Ключевое слово
|
Диапазон значений
|
Пример
|
Символы
|
char
|
Все символы
|
‘a’, ‘C’, ‘%’
|
Целые числа
|
integer
|
-32678…32767
|
-153, 125
|
Действительные
числа
|
real
|
-1E-307…1E308
|
2.48
|
Строки
|
string
|
Последовательность
символов
|
"Sony”, "256”
|
Символьные имена
|
symbol
|
|
real_data, ‘Delete string’
|
Файлы
|
file
|
Допустимое в ДОС
имя файла
|
a.txt
|
Переменная – имя начинаетяс с большой буквы или
знака подчеркивания. В качестве имени может использоваться знака подчеркивания, такая переменная
называется анонимной. Она может использоваться вместо любой переменнйо, однако
она никогда не принимает конктертного значения. Переменная читается свободной,
или неконкретизированной (free), когда
значение ее не известно. Связанной или конкретизированной, когда известно.
|
Календарь | « Май 2024 » | Пн | Вт | Ср | Чт | Пт | Сб | Вс | | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
|
Статистика |
Онлайн всего: 1 Гостей: 1 Пользователей: 0 |
|