Руководство к пользованию TURBO PROLOG

Подождите немного. Документ загружается.

жав клавиши . Переместите курсор на конец только что

созданного текста и сделайте еще одну копию блока. Продолжайте

этот процесс до тех пор, пока в окне редактора не получится

десять копий вашего адреса. Для перемещения по тексту внутри

окна редактора можно пользоваться клавишими со стрелками, а

также клавишими и .

Теперь давайте пометим новый блок. Прежде всего мы должны

снять пометку старого блока, нажав клавиши (обратите

внимание, что исходный блок больше не высвечивается). Вставь-

те в файл новую строку 4, состоящую из 20 букв Х. Теперь за-

мените строку 11 новой строкой, состоящей из 20 букв Y.

Наш новый блок будет содержать строки с 5 по 10. Пометьте

его, как и раньше, с помощью клавиш и .Чтобы

удалить этот блок, нажмите клавиши , и сейчас вы должны

получить строку букв Y, расположенную непосредственно вслед

за строкой букв Х.

Далее пометьте новый блок, который состоит из этих двух

строк с буквами Х и Y. Переместите курсор на конец текста, а

затем переместите сюда новый блок, нажав клавиши

(проверьте, что блок был перемещен, а не скопирован, исполь-

зуя клавиши и ).

Блочные операции можно выполнять, нажимая меньшее число

клавиш, если пользоваться при этом функциональными клавишами.

Как указывалось ранее, пояснения, касающиеся функциональных

клавиш, располагаются в нижней части экрана.

При нажатии справочной клавиши на экран выводится

экспресс-меню, содержащее информацию о функциональных клави-

шах (и обо всех встроенных стандартных предикатах, но речь о

них пойдет позже). Нажмите теперь клавишу и выберите из

появившегося в результате этого меню возможность Help Infor-

mation (справочная информация). Посмотрите всю эту информа-

цию, пользуясь клавишами и . Закончив просмотр, на-

жмите клавишу .

Клавиши , и используются для копирования, пе-

ремещения и удаления блоков, а также для пометок начала и

конца блока. Чтобы воспользоваться ими, прежде всего перемес-

тите курсор на начало блока, а затем пометьте начало блока,

нажав требуемую клавишу.Далее переместите курсор на конец

блока и нажмите ту же самую клавишу, пометив тем самым конец

блока. Если вам нужно удалить блок, нажмите клавишу . Если

вы хотите скопировать блок или переместить его, то установите

курсор в то место, куда надо поместить текст, и нажмите кла-

вишу или .

Поиск и замена

Поиск и замена бывают нужны, если вы приходите к выводу

изменить какое-нибудь имя в вашей программе уже после того,

как вы ее написали. Чтобы воспользоваться этими операциями,

удалите все то, что находится сейчас у редактора, и набейте

эту хорошо известную фразу:

To be or not to be Быть или не быть

That is the guestion Вот в чем вопрос

Теперь давайте заменим каждое вхождение слова "be" на

"be". Нажмите клавишу , и вас попросят указать строку, под-

лежащую поиску. Набейте слово "be", после чего вновь нажмите

клавишу . Теперь вас попросят ввести строку, на которую надо

заменить предыдущую. Набейте "be.", после чего вас спросят,

являются ли поиск и замена глобальными или локальными.

При глобальном поиске в операциях поиска и замены будут

участвовать все вхождения слова "be" в тексте, а при локаль-

ном поиске в операциях участвует только очередное вхождение.

Выберите глобальный поиск. Теперь вас спросят, хочется ли

вам, чтобы перед всякой новой заменой вас опрашивали, стоит

ли ее делать на самом деле. В данном случае нажмите клавишу

(нет). Теперь поиск и замена будут, наконец, выполнены,

и получившийся в результате преобразования текст примет вид:

To be, or not to be,

That is the gucstion

Если вы просто хотите найти в тексте строку, можно вос-

пользоваться командой поиска (отличающейся от команды поиска

и замены). Нажмите клавишу , после чего вас попросят ука-

зать строку, подлежащую поиску. Воспользуйтесь функцией поис-

ка, чтобы отыскать в приведенном выше тексте первое вхождение

букв "he".

Таблица 2-1

Перечень клавиш, используемых при работе

с редактором

─────────────────────────────────────────────────────────────

Клавиши Назначение

─────────────────────────────────────────────────────────────

Esc или F10 Выход из редактора

Клавиши со стрелками,

PgUp, PgDn, Home, End Перемещение курсора

Del Удаление символа, на котором уста-

новлен курсор

Ctrl-K B Пометка начала блока

Ctrl-K K Пометка конца блока

Ctrl-K H Снятие пометки блока

Ctrl-K C Копирование помеченного блока в мес-

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

Ctrl-K Y Удаление помеченного блока

Ctrl-K V Перемещение помеченного блока в мес-

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

курсора

F1 Справочная информация

Ctrl-F5 Копирование блока

Ctrl-F6 Перемещение блока

Alt-F7 Удаление блока

Ctrl-F3 Поиск

Shift-F3 Повторение последнего поиска

F4 Поиск и замена

Shift-F3 Повторение последнего поиска с заме-

ной

─────────────────────────────────────────────────────────────

Обратите внимание, что текст, подлежащий поиску, как при

операции поиска, так и при операции поиска с последующей за-

меной, заканчивается нажатием той же клавиши, которая исполь-

зовалась в начале операции.Это означает, что строка подлежа-

щая поиску, может включать в себя символ "новой строки" и что

заменяющей строкой можно воспользоваться, чтобы вставлять но-

вые строки и изменять компоновку текста (например, разбиение

на абзацы). Попробуйте, например, заменить в приведенном выше

тексте букву на символы .

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

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

можно повторить с тем же набором возможностей, нажимая при

каждом требуемом повторении клавиши или соответст-

венно.

Трассировка

~~~~~~~~~~~

В этом разделе мы посмотрим, как осуществлять трассировку

программы на Турбо Прологе. Мы будем пользоваться той же уче-

бной программой, которая была у нас раньше. Если вы уже сох-

ранили ее на диске, то воспользуйтесь командой Files, чтобы

ввести ее в рабочий файл редактора; в противном случае набей-

те программу заново.

Чтобы осуществить трассировку при выполнении программы,

мы должны добавить в начало нашей программы директиву компи-

лятора trace (трассировка). Таким образом, начало программы

примет теперь вид:

trace

predicates

hello

goal

hello

...

Воспользуемся теперь командой Run и посмотрим, что проис-

ходит на экране. В окне редактора курсор мерцает, указывая на

конец слова hello, обозначающего цель, а в окне трассировки

начало выполнения этой цели выглядит так :

CALL: goal( )

Теперь можно воспользоваться клавишей , что приво-

дит к выполнению заданной цели в пошаговом режиме. Нажмите

эту клавишу один раз, и окно трассировки примет теперь такой

вид: CALL: hello ( )

Это показывает, что цель должна удовлетворять предикату

hello. Последующее нажатие клавиши приводит к перемещению

курсора к определению предиката hello. Нажмите ее вновь, и в

окне трассировки вы увидите, что сейчас мы вызвали предикат

makewindow (сделать окно). Еще одно нажатие приведет к выпол-

нению указанного предиката, что отразится в окне трассировки

следующим образом:

RETURN: makewindow (1,7,7 "by first program", 4,56,10,22)

Обратите внимание, что это окно располагается в правом

верхнем углу экрана.

Нажимайте клавишу еще и еще раз, и наблюдайте, что

происходит в каждом окне, пока окно трассировки не примет вид:

CALL: readln (-)

Теперь курсор должен мерцать в том месте нашего окна вы-

полнения, где мы должны набить имя. Набейте имя ТОМ, а затем

нажмите клавишу .Окно трассировки теперь примет вид:

RETURN: readln ("ТОМ")

И наконец, нажимайте клавишу еще и еще раз, пока в ок-

не трассировки не появится:

RETURN: hello ( )

RETURN: goal ( )

В этой точке выполнение нашей программы завершается. Наж-

мите клавишу в последний раз, и система проинструктирует

вас, что надо нажать на пробел и вернуться на уровень главно-

го меню.

Установки, изменяющие умолчания для окон

Система Турбо Пролог представляет пользователю четыре ок-

на - четыре точки обзора того, что окружает программиста:

- окно редактора;

- окно диалога;

- окно трассировки;

- окно сообщений.

Этими окнами можно пользоваться в любой конфигурации, и

любое окно может занимать как весь экран целиком, так и лишь

небольшую его часть. В любой момент вы можете переключить ва-

шу точку обзора и изменить конфигурацию размера и расположе-

ния окна. Размер четырех системных окон можно изменить либо

во время выполнения программы, воспользовавшись командой

Setup (установка), либо на долгое время. В последнем случае

всякий раз, когда происходит загрузка системы, используется

именно та компоновка окон, которую вы предпочитаете.

Временные изменения окон.

Удалите директиву компилятора trace из нашей учебной

программы, запустите ее, но не давайте никакого ответа, когда

вас попросят набить имя. Вместо этого нажмите несколько раз

клавиши и вы увидите, что каждое системное окно будет

по очереди высвечиваться.

Высветите окно сообщений. Теперь попробуйте, как действу-

ют клавиши со стрелками, и постарайтесь с их помощью сделать

форму этого окна как можно ближе к квадрату. Повторите все

эти действия применительно к трем остальным окнам и добей-

тесь, чтобы все они стали квадратами. Далее выберите ка-

кое-нибудь окно, зажмите клавишу и, воспользовавшись

клавишами со стрелками, начните перемещать это окно по экрану.

Измените расположение системных окон так, чтобы они заня-

ли следующие позиции:

окно сообщений окно трассировки

окно редактора окно диалога

Предположим, что вы хотите разместить системные окна

именно так. Нажмите на пробел, чтобы возобновить выполнение

программы, и, как это требуется, набейте ваше имя.

После того, как программа будет выполнена до конца, уп-

равления будет возвращено к главной системе через иерархию

нисходящих меню, но измененное изображение окон останется та-

ким, каким вы его сделали (до тех пор, пока не будут сделаны

новые изменения или пока система не будет перезагружена).Что-

бы убедиться в этом, воспользуйтесь редактором и измените

первое предложение write (писать) так, чтобы оно имело вид

write ("whot is your name")

после чего запустите программу заново.

Выберите в меню Setup возможность Window (окно), чтобы

вернуть системные окна примерно к первоначальному виду. Выби-

райте каждое окно по очереди и, сделав это, изменяйте размеры

окон и перемещайте их с помощью клавиши и клавиш со стре-

лками.

Сохранение компоновки окон

Выберите в меню Setup возможность Save, чтобы записать

компоновку окон на дисковый файл. По умолчанию этот файл име-

ет имя PROLOG.SYS, и если изменения сохраняются в этом файле,

то при всякой новой загрузке системы будут использоваться но-

вые форматы окон.

Чтобы избежать стирания имеющихся умолчаний или чтобы

сохранить для себя хранящиеся на файле какие-то конфигурации

окон, новые установки следует запоминать в файле с другим

именем, например WINDOWSI.SYS. Чтобы воспользоваться другой

компоновкой, в меню Setup следует выбрать возможность Read

(чтение).

3. ЗАНЯТИЕ 1:

ПЯТЬ ПРОСТЫХ ПРОГРАММ

ЭТО - первая из восьми глав, в которых на следующих друг

за другом занятиях дается введение в язык Турбо Пролог. Она

начинается с изучения структуры программы на Турбо Прологе,

сначала - с помощью простого примера, а потом - путем анализа

основных компонентов программы, которые рассматриваются один

за другим. Всякий раз мы будем начинать с интересующего нас

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

в конце главы. (В главах 11 и 12 содержатся очень точные оп-

ределения всех свойств Турбо Пролога. На этом этапе наших за-

нятий они уже начинают иметь значение.)

Помимо структуры программы в этой главе вводятся два дру-

гих важных понятия: возврат (с помощью которого Пролог отыс-

кивает все возможные решения, удовлетворяющие цели) и способ,

опираясь на который Пролог может проверить что нечто не явля-

ется истиной - по крайней мере тогда, когда имеется информа-

ция, позволяющая это определить.

Структура программы на Турбо Прологе

Рассмотрим следующий пример программы:

/* Программа 1*/

domains

person, activity - sysboi

predicates

likes (percon, activity)

сlauses

likes (ellen, tennis).

likes (john, football).

likes (tom, baseball).

likes (eric, swimming).

likes (mark, tennis).

likes (bill, X) if likes (tom,X)

Раздел clauses (предложения) содержит множество фактов и

правил. Факты

likes (ellen, tennis).

likes (john, football).

likes (tom, baseball).

likes (eric, swimming).

likes (mark, tennis).

соответствуют таким предложениям на английском языке *:

ellen likes tennis Эллен любит тенис.

john likes football Джон любит футбол.

tom likes bascball Том любит бейсбол.

erik likes swimming Эрик любит плавание.

mark likes tennis Марк любит тенис.

Отметим, что эти факты не дают информации о том, верно

ли, что

likes (bill, baseball).

Чтобы воспользоваться Прологом с целью определить, любит ли

Билл бейсбол, мы можем выполнить приведенную выше программу

на Прологе, имея

likes (bill, baseball).

в качестве нашей цели. Пытаясь удовлетворить этой цели,

стве нашей цели. Пытаясь удовлетворить этой цели, Пролог-сис-

тема будет пользоваться правилом:

~~~~~~~~

likes (bill, X) if likes (tom,X).

На обычном английском языке это правило соответствует такому

предложению:

bill likes X, if tom likes X Билл любит Х, если Том любит .

Введите приведенную выше программу в вашу ЭВМ, опираясь

на методику, изложенную в главе 2, и запустите ее. Когда сис-

тема ответит в окне диалога

Goal:_

likes (bill, baseball).

enter

Турбо Пролог даст ответ

True

Goal:_

в том же окне и будет ждать, чтобы вы ввели еще одну цель.

Турбо Пролог сопоставил правило

likes (bill,X) lf likes(tom,X)

c фактом

likes (tom, baseball)

и сделал заключение, что

________________________________

сноска!*) В правой колонке приводится русский эквивалент.(Прим.перев.)

likes (bill, baseball)

является истиной. Введем теперь новую цель:

likes (bill,tennis).

Система ответит

No solution

Goal:_

поскольку, с одной стороны, факта, говорящего, что Билл любит

теннис, не существует, а с другой стороны, это утверждение не

может быть выведено на основании имеющегося правила и доступ-

ных фактов. Конечно, в реальной жизни может оказаться, что

Билл просто обожает теннис, но ответ, который дает Турбо Про-

лог, основывается только на тех фактах и правилах, которые вы

задали в программе.

Переменные

~~~~~~~~~~

В правиле

likes (bill,X) if likes(tom,X).

мы воспользовались буквой Х как переменной, обозначающей не-

известный вид деятельности. Имена переменных в Турбо Прологе

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

написать произвольное число букв (маленьких или больших),

цифр или знаков подчеркивания ("_"). Таким образом, два сле-

дующих имени

My_first_correct_variable_name

Sales_10_11_06

являются допустимыми, в то время как такие три имени

second_ attempt

'disanier

недопустимы.

Аккуратный выбор имен переменных делает программы более

наглядными. Например, предложение

likes(Individual, tennis).

более предпочтительно, чем

likes(I, tennis).

Теперь введем следующую цель:

likes (baseball, tennis).

Турбо Пролог ответит

Individual - ellen

Individual - mark

2 Solutions

Goal :_

поскольку к заданной цели можно прийти ровно двумя путями, а

именно, придавая переменной Individual (личность) значения

ellen (Эллен) и mark (Марк).

Отметим, что если не считать первый символ в именах пере-

менных, в Турбо Прологе не делается никаких различий между

маленькими и большими буквами. Отсюда следует, что вы можете

сделать имена переменных еще более наглядными, используя че-

редующиеся маленькие и большие буквы, например:

Объекты и отношения

~~~~~~~~~~~~~~~~~~~

Каждый факт, заданный в разделе clauses программы на Тур-

бо Прологе, включает в себя отношение, которое действует на

один или несколько объектов. Так, например, в факте

likes (tom,baseball).

отношением является likes (любит), а объектами - tom (Том) и

baseball (бейсбол). Для отношений и объектов вы вправе выби-

рать любые имена, какие вам захочется, лишь бы они удовлетво-

ряли следующим ограничениям:

- имена объектов должны начинаться с маленькой буквы, за

которой может следовать произвольное число символов (букв,

цифр и знаков подчеркивания);

- имена отношений могут быть произвольными комбинациями

букв, цифр и знаков подчеркивания.

Так, например

owns(susan, horse).

cats(jill, mcat).

valuable(gold).

car(mercedes, blue, station, wagon).

являются допустимыми фактами Турбо Пролога, которым соответс-

твуют следующие факты, выраженные на обычном английском языке:

susan owns a horse Сьюзен владеет лошадью

jill eats meat Джилл ест мясо

gold is valuable Золото является ценным

The car is a blue mercedes Машина является го-

station wagon лубым многоместным

легковым автомобилем

марки мерседес

(Обратите внимание, что отношение может включать в себя один,

два, три или больше объектов). У вас может вызвать удивление,

откуда Турбо Пролог знает, что Сьюзен владеет лошадью, а не

лошадь владеет Сьюзен; мы обсудим этот момент в следующей

главе.

Управжнение. Запишите следующие факты и правила в форме,

принятой в Турбо Прологе:

ellen likes reading Эллен любит читать

john likes computers Джон любит ЭВМ

erik likes swirnming Эрик любит плавание

david likes computers Дэвид любит ЭВМ

marybeth likes X if john likes X Мэрибет любит Х,

если Джон любит X

gina likes anything eric likes Джина любит все то,

что любит Эрик

Домены и предикаты

~~~~~~~~~~~~~~~~~~

В программе на Турбо Прологе необходимо специфицировать

домены, которым принадлежат объекты, участвующие в отношени-

ях. Так, в нашем примере, рассмотренном выше

domains

person,activiti = symbol

predicates

likes (person, activity)

специфицируется, что отношение likes включает в себя два об-

ъекта, каждый из которых принадлежит символьному домену (име-

на, а не числа).

Введем следующую цель:

likes (12,X)

Система ответит

type error

Goal:_

и покажет, что она поняла; что число 12 нельзя употреблять в

отношении likes, поскольку 12 не принадлежит символьному до-

мену.

Точно так же такая цель, как

likes (bill, tom, baseball).

приведет к ошибке (попробуйте!). Если даже из программы 1

можно вывести, что как Билл, так и Том, любят бейсбол,Турбо

Пролог не позволяет нам выразить этот факт указанным образом,

так как отношение likes было определено, как имеющее ровно

два аргумента.

Для дальнейшей иллюстрации того, каким образом можно

пользоваться доменами, рассмотрим следующий пример программы:

/ * Программа 2 * /

domains

brand, color = symbol

age, price = integer

mileage = real

predicates

car(christer,130000,3,red,12000)

car(ford,90000,4,gray,25000)

car(datsun,8000,1,red,30000)

Здесь предикат сar (машина),который встречается во всех

отношениях, имеет обекты, принадлежащие документам age (срок

эксплуатации) и price (цена).Они имеют целый тип,т.е. должны

быть числами между -32768 и+32767. Аналогично домен mileage

(число пройденных миль) имеет вещественный тип, т. е. соот-

ветствует числам, выходящим за пределы диапазона для целых

чисел и имеющим, возможно, десятичную точку.

Сотрите программу о том, кто кого любит, воспользовав-

шись методом, описанным в главе 2. Набейте программу2 и по-

пробуйте по очереди ввести каждую из следующих целей:

car(renoult,13,3.5,red,12000)

car(ford,90000,4,gray,25000)

car(1,red,30000,80000,datsun)

Каждая из них приводит к ошибке домена. В первом случае,

например,это объясняется тем,что объект из домена age должен

быть целым числом, а число 130000 слишком велико, чтобы быть

целым. Следовательно, Турбо Пролог может без труда обнару-

жить, если кто-то введет такую цель, перепутав объекты из

доменов mileage и age в предикате car*.

В противовес этому попробуем ввести такую цель:

car(Make,Odometer,Years_on_road,Body,25000)

Здесь делается попытка найти в базе данных машину со стоимо-

стью 25000 долларов. Турбо Пролог ответит:

Make=ford,Odometer=90000,Years_on_road=4,Body=grey

Составные цели

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

Последняя рассмотренная выше цель выглядела немного неес-

тественной.Вместо этого хотелось бы уметь задавать вопросы та-

кого типа:

Существует ли в базе данных машина со стоимостью меньше

чем 25000долларов?

Мы можем направить Турбо Пролог на поиск ответа на этот воп-

рос,если воспользуемся составной целью:

~~~~~~~~~~~~~~~

car(Make,Odometer,Years_on_road,Body,Cost) and

Cost<25000.

Чтобы удовлетворить такой составной цели,Турбо Пролог будет

пытаться разрешить подцель

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

сноска! *)Видимо, опечатка.Сделанное замечание могло бы относиться

например, к такой цели:

car (chrusler,3,130000,red,12000). (Прим.перев.)

car (Rake,Odoreter,Tears_on_road,Body,Cost)

a также подцель

Cost <25000

где переменная Сost(стоимость) относится к тому же самому

значениюю Теперь попробуйте проделать все это.

Подцель

Cost<25000

включает в себя знак отношения < (меньше), который непосредс-

твенно встроен в систему Турбо Пролог. На самом деле он ничем

не отличается от другого какого-нибудь отношения, действующе-

гона два числовых объекта, но записывать знак < между двумя

объектами более естественно, чем делать это в странной на

взгляд форме

< ( Cost,25000).

которая в большей степени напоминает такие отношения ,как

likes (tom,tennis)

Анонимные переменные

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

Для многих людей стоимость и срок эксплуатации представ-

ляют собой два наиболее важных фактора, которые рассматрива-

ются ими при покупке машины. Следовательно, назначить име-

на переменным, соответствующим таким компонентам цели, как

заводская марка, число пройденных миль и цвет, необязательно,

так как их значениями мы на самом деле не интерисуемся. Но в

соответствии со своим определением в программе 2,предикат car

должен включать в себя пять объектов и, следовательно мы дол-

жны иметь пять переменных. К счастью мы можем не беспокоиться

и не задавать для них всех имена. Мы можем воспользоваться

анонимной переменной, которая обозначается с помощью единст-

венного знака подчеркивания ("_"). Попытайтесь ввести такую

цель:

car (_,_,Age,_,Cost) and Cost<27000

Турбо Пролог ответит:

Age=3,Cost=12000

Age=4,Cost=25000

2 Solutions

Coal:_

Анонимную переменную можно использовать везде, где допус-

тимо использование любой другой переменной, но на самом деле

она никогда не получает конкретного значения. Например, для

рассмотренной выше цели Турбо Пролог воспринимает каждое из

трехиспользований символа "_" как обозначение переменной, ко-

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

Пролог находит две машины со стоимостью менее 27000 долла-

ров; одна из них эксплуатируется три года ,другая четыре.

Помимо указанного, анонимными переменными можно пользо-

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

owns(_,shirt).

vashes(_).

можно было бы использовать, чтобы выразить следующие выраже-

ния на английском языке:

everyone owns a shirt у всех есть рубашка

everyone washes все моются

Нахождение решений для составных целей, возврат

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

Рассмотрим программу 3, в которой содержатся факты об

именах и возрастах некоторых учеников из класса.

/*Программа 3*/

donalns

Child=synbol

age =integer

predictes

pupil (child,age)

clauses

pupil (peter,9)

pupil (raul,10)

pupil (chris,9)

pupil (susan,9)

Удалите программу 2 и набейте программу 3. Мы воспользу-

емся Турбо Прологом, чтобы устроить турнир по пинг-понгу меж-

ду всеми девятилетними, обучающимися в классе (по две игры на

каждую пару). Наша цель - найти все возможные пары учащихся,

которым по девять лет. Этого можно добиться, воспользовавшись

составной целью

pupil(Person1,9) and

pupil(Person2,9) and

Person1 <> Person2

(Иными словами:найти Person1 возраста 9лет и Person2 возрас-

та 9 лет так, чтобы Person1 u Person2 были различны.)

Турбо Пролог будет пытаться найти решение первой подцели

и перейдет к следующей подцели только тогда, когда первая

подцель будет достигнута. Первую подцель можно удовлетво-

рить,взяв в качестве Person1 ученика peter. Теперь Турбо Про-

лог может удовлетворить подцели

pupil(Person2,9)

взяв в качестве Person2 того же ученика peter. Теперь мы при-

ходим к третьей и последней подцели

Person1 <> Person2

Поскольку Person1 u Person2 соответствуют одному и тому

же ученику peter, данная подцель не удовлетворяется . Поэтому

Турбо Пролог возвращается к предыдущей подцели и ищет другое

решение второй подцели

pupil(Person2,9)

которую можно удовлетворить,взяв в качестве Person2 ученика

chris.Теперь третья подцель

Person1 <> Person2

удовлетворяется, так как peter u chris различны, и, следова-

тельно, вся цель достигнута. Тем не менее , поскольку Турбо

Пролог должен найти все возможные решения, соответствующие

цели, он вновь возвращается к предыдущей цели, еще раз наде-

ясь на успех. Поскольку подцель

pupil(Person2,9)

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

ника susan, Турбо Пролог вновь обращается к третьей подце-

ли.Это проходит успешно, так как peter u susan различны, и,

следовательно, найдено еще одно решение, удовлетворяющее всей

цели.

В поиске последующих решений Турбо Пролог еще раз возвра-

щается ко второй подцели. Но теперь все возможности для этой

подцели исчерпаны, поэтому осуществляется возврат к первой

подцели. Ее можно удовлетворить вновь , если взять в качестве

Person1 ученика chris. Теперь анализ второй подцели заверша-

ется успешно,если взять в качестве Person2 ученика peter;