Предыдущая страница реферата | 1  2  3  4  5  6  7 | Следующая страница реферата

Полученное целевое утверждение сопоставляется с первым целевым утверждением posl (0, 1), при этом U3 получает заначение 1.

На этом этап разбиения заканчивается.

II. Этап сборки решения.

Производится попытка согласования самого последнего из отложенных целевых утверждений, если это удается, то производится согласование предпоследнего целевого утверждения, и так до самого первого из отложенных, то есть запроса.

1) U2=U3*1 , так как U3=1 то U2=1

2) U1=U2*2   U1=2

3) X=U1*3   X=6

2. Возврат и отсечение.

В процессе реализации запроса интерпретатору языка необходимо анализировать множество фактов и правил, к-рые извлекаются в процессе нескольких просмотров соответственных баз фактов. При этом в процессе одного просмотра формируется частичное решение. Процесс в PROLOGе выполняется автоматически путем пометки или заполнения тех модулей, к-рые анализировались перед текущей целью, с тем, чтобы исключить полученное частное решение из дальнейнего рассмотрения. Этот механизм в PROLOGе наз-ся возвратом и реализуется через использование стандартного предиката fail, к-рый всегда имеет значение “ложь”. Этот предикат заставляет интерпретатор проанализировать ещё раз базу фактов, чтобы выполнить более целевое утверждение для других значений переменных. Он позволяет получить в базе все возможные решения.

ПРИМЕР:

domains

   p,T=symbo L

predicat s

   like (P,T)

   poleg (T)

dauses

   like (“Иванов”,” пиво”).

   like (“Иванов”,” сок”).

   poleg(“cok”)...

   otv if

   like (P,T) and

   poleg (T),nl,

   write (P),

   fail.

goal

   otv.

Рекомендуем скачать другие рефераты по теме: ответы 4 класс, готовые дипломные работы.



Предыдущая страница реферата | 1  2  3  4  5  6  7 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки