3.2.2.4 Цели

Цели – это особый вид утверждений, использующихся для постановки задач, которые должна решать программа. Формулируются цели в виде вопросов, выясняющих установленность или возможность установления фактов.

Цель может быть простой или составной. Простая цель состоит из одного вопроса, описываемого аналогично факту программы. Составная цель включает две или более подцели, разделяемые запятыми и описываемые аналогично фактам программы.

Цель может быть задана предикатом, обозначающим заголовок правила. Цель может быть также задана правилом, состоящим из заголовка и тела правила.

Примеры формулировки цели для программ Турбо-Пролога будут рассмотрены далее, по ходу изложения материала курса.

4 Лекция №3. Объекты данных. Константы, переменные, структуры, списки.

Время: 2 часа (90 мин.)

4.1 Основные вопросы

- объекты данных;

- константы, переменные, структуры, списки.

4.2 Текст лекции

4.2.1 Объекты данных – до 20 мин.

Все объекты выражений Турбо-Пролога (предикатов, фактов, правил, целей) называются термами. Каждый терм характеризуется своим именем и областью значений. Для описания типов области значений термов служат домены. Тип каждого из доменов должен быть объявлен в разделе программы domains.

Турбо-Пролог имеет 6 встроенных (стандартных) типов доменов: символы, целые числа, действительные числа, строки, символические имена и файлы. Ниже в табл.1. описаны все стандартные типы доменов Турбо-Пролога.

Таблица 1.

Стандартные типы доменов Турбо-Пролога

Тип данных	Ключевое слово	Диапазон значений и правила описаний	Примеры использования в Турбо-Прологе
1. Символы	char	Все возможные символы, заключенные в апостроф	’A’; ’a’; ’%’; ’7’; ...
2. Целые числа	integer	От -32768 до +32768	-63; 84; 2349; 32763; ...
3. Действительные числа	real	От +1Е-307 до +1Е308	-3.15; -0.31; 12.3E -5; 4E27; ...
4. Строки	string	Строки символов (не более 250), которые заключаются в кавычки	"Петров"; "125_31"; "today"; ...
5. Символические имена	symbol	Последовательности букв, цифр, подчерков, начинающиеся с маленькой буквы. Любые символы, заключенные в кавычки	flover; school_day; nd21; ... "Atom"; "Атом-1"; "a_b_c"; ...
6. Файлы	file	Допустимые имена файлов	mail.txt; ...

4.2.2 Константы, переменные, структуры, списки – до 70 мин.

4.2.2.1 Константы

Константы в Турбо-Прологе представляются в виде отдельных символов (домен char), целых и действительных чисел (домены integer, real), а также в виде совокупностей символов (т.е. имен), принадлежащих к стандартным доменам string и symbol. Областью действия констант является вся программа.