В.Н. Пильщиков - Язык Плэнер, страница 35

Сопоставление удачно, при этом переменная Е получает значение ОЛ, а локальные переменные Х и У теоремы — значения 5 и 4.95 соответственно. С этими значениями переменных и начинается вычисление тела теоремы. Вычисление успешно, поэтому вызов теоремы завершается успехом. Ее локальные переменные уничтожаются, а за переменной Е функции РВО6 сохраняется значение ОЛ. Если бы значением переменной ЕРБ было число 0.01, то сопоставление образцов также было бы удачным (только переменная Е получила бы значение 0.01), но вот вычисление тела теоремы оказалось бы неуспешным. Распространение появившегося при этом неуспеха (до Р-точки функции АСН1ЕЧЕ) привело бы к отмене побочных эффектов сопоставления> поэтому переменная Е снова оказалось бы без значения.

Типи рекомендаций, Выбраннан длн вызова теорема, как уже сказано, может не подойти по двум причинам: либо ее образец не соответствует вызывающему обраацу, либо соответствие между образцами есть,но при вычислении тела теоремы вырабатывается неуспех. В первом случае функция АСН1ЕЧЕ при любой рекомендации переходит к выбору следующей подходящей теоремы. Но во втором случае, а также в случае успешного вычисления тела теоремы дальнейшие действия функции АСН1ЕЧЕ зависят от типа данной ей рекомендации.

Если дана 1)БЕ'-рекомендация и вызов очередной теоремы закончился неуспехом, то этот неуспех будет «пойман« Р-точкой, поставленной функцией в начале своей работы, после чего функция переходит к выбору следующей теоремы. Если ни одна из ' рекомендованных теорем не подопша, тогда вызов по образцу неуспешсн: функция АСН1ЕЧЕ уничтожает свою Р-точку и вырабатывает неуспех с сообщением АСН1ЕЧЕ. Но если вычисление выбраной теоремы оказалось успешным, тогда при ОБЕ-рекомендации остальные теоремьг не рассматриваются, и функция с успехом заканчивает свою работу.

Ее значением объявляется значение «успешнойэ теоремы. Однако Р-точка, поставленная функцией АСН1ЕЧЕ, сохраняется. Поэтому если затем в программе возникнет неуспех, по которому произойдет возврат к этой Р-точке, то функция возобновит свою работу: будет выбрана следующая рекомендованная теорема и т.

д. — до первой «успешной» теоремы или до исчерпания рекомендации. — вызывать любую теорему, с подходящим образцом до первой «успешиой»; — вызывать все теоремы с подходящими образцами, и каждая ив иих должна быть успешпой; (ОБЕ) (ТВХ) 169 ПБЕ1-рекомендация аналогична ОБЕ-рекомендации за одним исключением: если найдена «успешная» теорема, то по окончании ее вычисления уничтожаются все Р-точки внутри этой теоремы, а также Р-точка самой функции ЛСН1ЕХЕ.

Поэтому по иеуспеху вызов теорем в данном случае возобновляться пе будет. Обе эти рекомендации (как и отсутствие рекомепдаций) целесообразны при выаове целевых теорем, так как для достижепия цели вполпе достаточио пайти лишь одну подходящую теорему. Может, правда, оказаться, что яайдепкый способ достижепия цели не удовлетвори«елен по каким-либо причинам (например, иа-за пего не удается достичь цели более высокого уровня). Тогда в зависимости от того, надо искать новый способ достижения цели или нет, примепяется либо ЮБЕч либо ПБЕ1-рекомендация.

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

Только при »тих условиях выаов теорем будет считаться успешиым. Болев точно, функция, вызывающая теоремы, действует при ТВХ-рекомендации следующим обравом. Если очередиая выбранкая теорема ие подошла из-за того, что ее образец ие соответствует вызывающему обраецу, то функция выбирает следующую рекомендованную теорему.

Если же сопоставлеиие обравцов удачно,'по вычисление тела теоремы неуспешно, тогда выработанный при этом неуспех ие «ловится» функцией (при ТВХ-рекомендации функция ие ставит Р-точку), остальные теоремы не рассматриваются и работа функции оканчивается неуспехом. В случае успешного вычисления вызвапиой теоремы все Р-точки внутри иее уничтожаются, после чего выаывается следующая рекомендованная теорема. При ТВХ-рекомендации вызов теорем считаетси успешным, только если функция «добралась» до конца рекомендации.

Значением фуикции в таком случае является атом Т. Примеры иитерпретации рекоыекдаций: (1)ЯЕ ТН5 []) — вызвать в первую очередь теорему ТН5, а если опа не подойдет, вызывать любые другие теоремы в произвольном порядке; (ТВУ [ТЕЯТ СЬАЯЯ 5]) — все теоремы 5-го класса с подходящими образцами должны быть успешными.

Функция РВ.ОУ: [1)ВАЪ)г раз тес?], РЯПВВ. Эта функция вызывает заппсызагощие теоремы по образцу раг согласно рекомендации гее. Функция действует аналогично функций АСН1Е7Е. Функции СНАХОЕ: [СНАХСЕ ра1 гее?], РЯ()ВВ. Данная функция, действуя аналогично функцкн АСН1ЕУЕ, вывывает вычеркивающие теоремы по образцу раг согласно рекомендации гее. 5.4. Сопоставление образца с образцом При вызове теорем по образцу осуществляется сопоставление двух образцов. Например, образец (АТ «Х «Т) может сопоставляться с образцом (АТ «Х (5 «гт')). Такое сопоставление во многом отличается от сопоставления образца с выражением, и его правила будут объяснены в этом параграфе.

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

Например, при сопоставлении образцов (ОХ «Х ТАВЕЕ) и (ОХ А .г) выполняются сопоставления ОХ с ОХ, «Х с А и ТАВОТЕ с .У. Однако возможен и ряд новых случаев, когда переменные сопоставляются с переменными или со списками, содержащими переменные. Прежде чем сформулировать точные правила таких сопоставлений, проиллюстрируем эти новые случаи на конкретных примерах. Если при удачном сопоставлении образца с выражением все переменные образца обязательно получают эначевия, то при сопоставлении двух образцов некоторые их переменные могут остаться беа значений.. Однако на будущие эначения таких переменных накладываются определенные ограничения.

Например, сопоставление обраэца «Х с обраацом »У считается удачным, так как «-переменные соответствуют чему угодно, но пн одна иэ переменных Х и У яе получает значения, так как неизвестно, накое эначение.можно им присвоить. В то же время вполне разумно потребоватгь чтобы будущие значения этих переменных совпадали, ибо только при таком условии можно считать, что обраэцы «Х и «У совпадают. Поэтому в результате сопоставления «Х с «У устанавливается связь между переменными Х и У. Это означает, что если в дальнейшем одна иэ переменных получит иаков-либо значение, то автоматически такое же эначеиие получит и другая переменная.

Предположим, что при вычислении выражения (АСН1ЕУЕ (ПТИЦА «Уц которое можно трактовать каи требование найти некий объект, явлшощийся птицей, вызывается следующая теорема: (ВЕР1КЕ ТН1 (СОКЯЕО (Х) (ПТИЦА»Х) (ВЕАЕСН (ПОПУГАЙ .Х) ] ) ] которая определяет, что любой попугай является птицей. При сопоставлении выаывагощего образца (ПТИЦА «У) с обраацом теоромы (ПТИЦА «Х) переменным Х н У не присваиваются иикакио эиачения, но мев«ду ними устанавливается свяаь. Далее вычисляется тело теоремы — обращение к функции ЯЕАВСН, которая находит в базе данных, скажем, утверждение (ПОПУГАЙ КЕША).

При этом переменная Х получает эначепие КЕША, которое одновременно становится и эналением переменной У. Вычйсление теоремы на этом ааканчивается, ее локальная переменная Х ликвидируется, поэтому связь Х с У уничтожается. Однако эиачение КЕША у переменной У сохраняется, оно-то и дает ответ на эапрос «найти птицу». Связи, устанавливаемые между переменными, транвитивны. Если, к примеру, установлена связь между. переменными 2 и У, а затеи устанавливается связь между У и Х, то переменная 2 будет свяааиа и с переменной Х. Предположим, что имеется еще одна теорема: (РЕШКЕ ТН2 (СОНБЕО (У) (ЖИВОЕ-СУЩЕСТВО «У) (АСН1ЕУЕ (ПТИЦА У) ] ) ] и поставлена цель «найти Х, являющееся живым существомэз (АСН1ЕУЕ (ЖИВОЕ-СУЩЕСТВО *Х)). Тогда сначала вызывается теорема ТН2, переменная Т которой связывается с переменной Х, а затем вызывается теорема ТН1, переменная Х которой связывается с переменной г', а тем самым и с переменной Х. Поэтому когда Х получит значение КЕША, то такое же аначение автоматически получат переменные У и Х.