ДругиеЦели : = хвост( СписокЦелей);

Достигнута : = ложь;

while not Достигнута and

"в программе есть еще предложения" do

begin

Пусть следующее предложение в Прогр есть

Н :- B1, .... Вn.

Создать вариант этого предложения

Н' :- В1', .... Вn'.

сопоставление( Цель, Н',

Сопоставились, Конкрет)

if Сопоставились then

begin

НовыеЦели : =

конкат( [В1', ..., Вn' ], Другие Цели);

НовыеЦели : =

подставить( Конкрет, НовыеЦели);

вычислить( Прогр, НовыеЦели, Достигнуты)

end

end;

Успех : = Достигнуты

end

end;

Рис. 2. 11. Вычисление целевых утверждений Пролога.

Всякий раз, как рекурсивный вызов процедуры вычислить приводят к неуспеху, процесс вычислений возвращается к ПРОСМОТРУ и продолжается с того предложения С, которое использовалось последним. Поскольку применение предложения С не привело к успешному завершению, пролог-система должна для продолжения вычислений попробовать альтернативное предложение. В действительности

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

возврат

в ту точку (предложение С), в которой эта неуспешная ветвь начиналась. Когда процедура осуществляет возврат в некоторую точку, все конкретизации переменных, сделанные после этой точки, аннулируются. Такой порядок обеспечивает систематическую проверку пролог-системой всех возможных альтернативных путей вычисления до тех пор, пока не будет найден путь, ведущий к успеху, или же до тех пор, пока не окажется, что все пути приводят к неуспеху.

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

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

Упражнение

2. 9. Рассмотрите программу на рис. 2.10 и по типу того, как это сделано на рис. 2.10, проследите процесс вычисления пролог-системой вопроса

?- большой( X), темный( X).

Сравните свое описание шагов вычисления с описанием на рис. 2.10, где вычислялся, по существу, тот же вопрос, но с другой последовательностью целей:

?- темный( X), большой( X).

В каком из этих двух случаев системе приходится производить большую работу для нахождения ответа?

Посмотреть ответ

Назад | Содержание | Вперёд

Назад | Содержание | Вперёд