Влияние предиката "сократить" на процедуру

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

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

Рассмотрим в качестве примера два варианта процедуры "а" - с использованием и без использования предиката "сократить". Если этот предикат не употребляется, то процедура "а" определяется следующим образом:

а (1): -

write ('один').

а (Х): -

d (X),

write ('два').

а (3): -

write ('три').

d ('2a').

d ('2b').

Запрос к процедуре "а" даст такие ответы:

|? -a (N)

один

N=1;

два

N=2a;

два

N=2b;

три

N=3;

нет

В точке выдачи второго ответа состояние интерпретатора будет таким:

- Активные запросы - — Фразы программы —

а (1): -

write ('один').

?-а('2а'). ——--> а('2a'): -

d('2а'),

write('двa').

а (3): -

write ('три').

? -d ('2a'). --------> d ('2a').

d ('2b').

Процедура "а1", в которой используется предикат "сократить "

В другой версии процедуры "а", названной "а1", в середине второго правила расположен предикат "сократить":

а1 (1): -

write ('один').

а1 (Х): -

d (X),

!, % сократить

write ('два').

а1 (3): -

write ('три').

d ('2a').

d ('2b').

Посмотрим, что получится, если интерпретатор будет обрабатывать такой запрос к процедуре "а1 ":

|? -a1 (N).

один

N=1;

Если пользователь введет символ ; , то интерпретатор возвратится назад и начнет обрабатывать тело второго правила процедуры "а1". Подцель "d" конкретизирует переменную Х значением 2а, интерпретатор проходит предикат "сократить", а затем подцель "write" выводит слово «два» на экран дисплея:

два

N=2a;

Поведение интерпретатора при выдаче первых двух ответов, показанных выше, является точно таким же, как и при выдаче ответов на запрос к процедуре "а". Действие предиката "сократить" пока еще не проявилось. Но посмотрим, что получится, если пользователь захочет получить третий ответ. Интерпретатор попытается возвратиться назад от подцели «write ('два')». Однако из-за влияния предиката "сократить" на составной запрос интерпретатор не может вернуться обратно к подцели "d (X)" для получения нового значения переменной X. А вследствие действия предиката "сократить" на множество фраз программы интерпретатор не будет рассматривать третье правило процедуры "а1". Поэтому больше не будет получено позитивных ответов, и интерпретатор выдаст сообщение:

нет

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

- Активные запросы - - Фразы программы -

а1 (1): -

write ('один').

а1 (Х): -

d (X),

!,

write ('два').

al (3): -

write ('три').

? -a1 (N). ——--->

d ('2a').

d ('2b').

? -d (X). ----——>

Предикат "сократить" как подцель в составном запросе

Приведем несколько примеров, иллюстрирующих применение предиката "сократить". Если предикат "сократить" будет последней подцелью составного запроса, то это будет гарантировать получение только одного ответа на данный запрос:

|?—дядя (джон, W),!.

W = даниэль;

нет