3 Лекция №2. Элементы и конструкции языка Турбо-Пролог

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

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

- элементы языка Турбо- Пролог;

- конструкции языка Турбо- Пролог.

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

3.2.1 Элементы языка Турбо-Пролог – до 10 мин.

Алфавит языка Турбо-Пролог включает следующие символы:

• Латинские буквы (заглавные и строчные): A,…,Z и a,…,z;

• Русские буквы (заглавные и строчные): А,…,Я, и а,…,я;

• Арабские цифры: 0,1,…,9;

• Специальные символы:

“.” - точка; “,” - запятая; “:” - двоеточие; “;” - точка с запятой; “+” - плюс; “-” - минус; “_” - знак подчеркивания; “*” - знак умножения; “/” - знак деления; “|” - функтор списков; “(”,“)” - круглые скобки; “[”,“]” - прямоугольные скобки; “”” - кавычки; “’”- апостроф (одинарная кавычка); “%” - знак процента “>” - больше, “<” - меньше; “>=” - больше или равно, “<=” - меньше или равно; “<>” или “><” - не равно; “:-” - функтор правил (или if), соответствующий связке “если”.

• Ключевые или зарезервированные слова. Эти слова нельзя использовать как имена, определяемые программистом:

AND	CLAUSES	CONSTANTS	DATABASE
DOMAINS	GLOBAL	FINDALL	FREE
GOAL	IF	FAIL	INCLUDE
OR	PREDICATES	NOT	BOUND

3.2.1.1 Имена (идентификаторы)

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

• латинские буквы (заглавные и строчные);

• цифры;

• знаки подчеркивания.

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

На имена в Турбо-Прологе накладываются два важных ограничения:

• имена переменных должны обязательно начинаться с заглавной буквы или знака подчеркивания.

• имена всех остальных программных объектов должны начинаться только со строчной (маленькой) буквы.

Замечание: имена символических констант могут заключаться в кавычки. В этом случае можно использовать любые символы, в том числе и символы русского алфавита.

3.2.2 Конструкции языка Турбо-Пролог – до 80 мин.

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

3.2.2.1 Предикаты

Предикаты, с логической точки зрения, – это высказывательные функции от одной или нескольких переменных, которые при подстановке значений из некоторого множества, называемого предметной областью, становятся высказываниями и могут принимать логические значения TRUE (истина) или FALSE (ложь). Синтаксически описание предиката в Турбо-Прологе имеет вид:

P(X₁, X₂,…, X_n)

Здесь P – имя предиката; X₁, X₂,…, X_n – аргументы предиката.

С содержательной точки зрения предикат задает некое отношение между его аргументами, т.е. формула P(X₁, X₂,…,X_n) понимается как обозначение того, что “X₁, X₂,…,X_n находятся между собой в отношении P”. В случае, когда n=1 предикат называется унарным и определяет некоторое свойство. При n=2 предикат называется бинарным и определяет отношение. При n=3 предикат называется тернарным и т.д. В общем случае выражение P(X₁, X₂,…, X_n) определяет n-арный предикат.

Примерами предикатов в Турбо-Прологе могут служить следующие унарный и бинарный предикаты, определяющие свойство человека (person) быть студентом (student) и родителем (roditel)другого человека:

student(person)

roditel(person, person)

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