Nondeterm father (symbol, symbol)

Опишите внешний вид среды Visual Prolog.

Окна Visual Prolog:

Ø окном редактора, предназначенным для набора кода программы;

Ø окном сообщений, в котором можно проследить операции, выполняемые средой в целом;

Ø окном выдачи ошибок (двойной щелчок на ошибке позволяет перевести курсор в коде программы в ту позицию, где была допущена ошибка);

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

 

2. Какова структура Пролог-программ?

Обычно программа Visual Prolog включает три или четыре основных раздела. Это раздел выражений clauses, раздел описания предикатов predicates, раздел доменов domains и раздел цели goal.

 

3. Что содержится в разделе DOMAINS?

Раздел domains служит двум очень важным целям. Во-первых, можно определить для доменов осмысленные имена, причем даже в том случае, если внутренне они совпадают с именами уже существующих доменов. Во-вторых, объявления специальных доменов используются для объявления структур данных, которые стандартными доменами не определяются.

 

4. Что содержится в разделе PREDICATES? Что такое «арность»?

Предикаты определяются фактами и правилами. В разделе predicates просто перечисляется каждый предикат с указанием доменов аргументов.

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

Общий вид определения предиката:

Pred(dom1,dom2,...,domN)

pred – имя предиката (имя отношения) (формально оно относится к типу symbol), dom – тип данных конкретного аргумента (всего аргументов в предикате N – это число аргументов предиката, его называют арностью предиката (от термина arity, и иногда пишут pred/N).

 

5. Для чего предназначен раздел CLAUSES?

В разделе выражений clauses программист размещает все включаемые в программу факты и правила.

Выражения, относящиеся к определенному предикату, должны размещаться в разделе clauses вместе. Последовательность определяющих предикат выражений называется ПРОЦЕДУРОЙ.

Фактом называют отношение или свойство, о котором известно, что оно имеет значение истина.

Правилом же является конструкция, содержащая некоторые условия.

 

Опишите раздел GOAL.

Содержание раздела goal аналогично правилу. Это попросту список подцелей. Но между разделом goal и правилом есть два отличия:

1. После ключевого слова goal не следует знак:- (если).

2. При запуске программы на выполнение Visual Prolog отрабатывает цель автоматически.

Visual Prolog как бы вызывает цель (обращается к разделу goal), а программа выполняется, пытаясь удовлетворить тело целевого правила. Если достигаются все подцели раздела goal, то программа успешно завершается. Если же в процессе выполнения программы какая-либо подцель не достигается, то и программа заканчивает работу неудачно.

 

7. Перечислите дополнительные разделы программ. Дайте их краткую характеристику.

Раздел facts

В Visual Prolog для объявления в программе фактов, которые должны стать частью динамической (или изменяющейся) базы данных, предусмотрен специальный раздел - facts.

Такой раздел базы данных объявляется с помощью ключевого слова facts, куда включаются объявления фактов, предназначенных для организации динамической базы данных (БД).

Раздел constants

Раздел объявления констант начинается ключевым словом constants, после которого следуют сами объявления с соблюдением следующего синтаксиса:

<Идентификатор> = <Макроопределение>

<Идентификатор> – это имя константы, а <Макроопределение> – это то, что этому имени соответствует. Каждое <Макроопределение> заканчивается символом новой строки, так что в одной строке может размещаться только одно описание константы.

На использование констант накладываются следующие ограничения:

- определение константы не может ссылаться само на себя;

- в программе может быть несколько разделов constants, но константы должны объявляться до их использования;

- идентификаторы констант являются глобальными и могут объявляться только один раз.

Разделы global

Visual Prolog позволяет объявить в программе некоторые домены, предикаты и выражения ГЛОБАЛЬНЫМИ (в отличие от ЛОКАЛЬНЫХ). Это можно сделать, сформировав в самом начале программы отдельные разделы globaldomains, globalpredicates и globalfacts.

8. Какие типы данных, используемые в Visual Prolog, вы знаете?

Типы данных: char, real, string, symbol.

 

ПРАКТИЧЕСКОЕ ЗАДАНИЕ

1. Наберите в окне редактора следующую программу:

Данная программа предлагает найти сумму двух чисел. Входящими параметрами здесь являются Num1, Num2, а выходящим – Rez.

Текст программы:

Domains

num1, num2, rez = real

Predicates

Sum(num1,num2,rez)

Clauses

sum(Num1,Num2,Rez):-Rez=Num1+Num2.

Goal

Sum(9.2,8.9,Rez).

Результат:

Rez=18.1

Solution

 

Добавьте в программу правило нахождения суммы трёх чисел – sum(Num1,Num2,Num3,Rez). Не забудьте при этом объявить новый предикат.

Текст программы:

Domains

num1, num2, num3, rez=real

Predicates

Sum(num1,num2,num3,rez)

Clauses

sum(Num1,Num2,Num3, Rez):-Rez=Num1+Num2+Num3.

Goal

Sum(9.2,8.9,2.3,Rez).

Результат:

Rez=20.4

Solution

3. Напишите правило Пролога, которое отображает следующую ситуацию.

У нас есть факты

отец(николай,иван).

мать(нина,иван).

Необходимо написать правило, которое определяет родителей Ивана.

Текст программы:

Predicates

nondeterm father (symbol, symbol)