Процедурная семантика
Процедурная семантика определяет, как пролог-система отвечает на вопросы. Ответить на вопрос - это значит удовлетворить список целей. Этого можно добиться, приписав встречающимся переменным значения таким образом, чтобы цели логически следовали из программы. Можно сказать, что процедурная семантика Пролога - это процедура вычисления списка целей с учетом заданной программы. "Вычислить цели" это значит попытаться достичь их.
Назовем эту процедуру вычислить. Как показано на рис. 2.9, входом и выходом этой процедуры являются:
входом - программа и список целей,
выходом - признак успех/неуспех и подстановка переменных.
Рис. 2. 9. Входы и выходы процедуры вычисления списка целей.
Смысл двух составляющих выхода такой:
(1) Признак успех/неуспех принимает значение "да", если цели достижимы, и "нет" - в противном случае. Будем говорить, что "да" сигнализирует об успешном завершении и "нет" - о неуспехе.
(2) Подстановка переменных порождается только в случае успешного завершения; в случае неуспеха подстановка отсутствует.
line();ПРОГРАММА
большой( медведь).
% Предложение 1
большой( слон).
% Предложение 2
маленький( кот).
% Предложение 3
коричневый ( медведь).
% Предложение 4
черный ( кот).
% Предложение 5
серый( слон).
% Предложение 6
РЕЛМШИ( Z) :- % оПЕДКНФЕМХЕ 7:
ВЕПМШИ( Z). % КЧАНИ ВЕПМШИ
% НАЗЕЙР ЪБКЪЕРЯЪ РЕЛМШЛ
РЕЛМШИ( Z) :- % оПЕДКНФЕМХЕ 8:
ЙНПХВМЕБШИ( Z). % кЧАНИ ЙНПХВМЕБШИ
% НАЗЕЙР ЪБКЪЕРЯЪ РЕЛМШЛ
бнопня
?- РЕЛМШИ( X), АНКЭЬНИ( X) % йРН НДМНБПЕЛЕММН РЕЛМШИ
% Х АНКЭЬНИ?
ьюцх бшвхякемхъ
(1) хЯУНДМШИ ЯОХЯНЙ ЖЕКЕБШУ СРБЕПФДЕМХИ:
РЕЛМШИ( X), АНКЭЬНИ( X).
(2) оПНЯЛНРП БЯЕИ ОПНЦПЮЛЛШ НР МЮВЮКЮ Й ЙНМЖС Х ОНХЯЙ ОПЕДКНФЕМХЪ, С ЙНРНПНЦН ЦНКНБЮ ЯНОНЯРЮБХЛЮ Я ОЕПБШЛ ЖЕКЕБШЛ СРБЕПФДЕМХЕЛ
РЕЛМШИ( X).
мЮИДЕМЮ ТНПЛСКЮ 7:
РЕЛМШИ( Z) :- ВЕПМШИ( Z).
гЮЛЕМЮ ОЕПБНЦН ЖЕКЕБНЦН СРБЕПФДЕМХЪ ЙНМЙПЕРХГХПНБЮММШЛ РЕКНЛ ОПЕДКНФЕМХЪ 7 - ОНПНФДЕМХЕ МНБНЦН ЯОХЯЙЮ ЖЕКЕБШУ СРБЕПФДЕМХИ.
ВЕПМШИ( X), АНКЭЬНИ( X)
(3) оПНЯЛНРП ОПНЦПЮЛЛШ ДКЪ МЮУНФДЕМХЪ ОПЕДКНФЕМХЪ, ЯНОНЯРЮБХЛНЦН Я ВЕПМШИ( X). мЮИДЕМН ОПЕДКНФЕМХЕ 5: ВЕПМШИ ( ЙНР). с ЩРНЦН ОПЕДКНФЕМХЪ МЕР РЕКЮ, ОНЩРНЛС ЯОХЯНЙ ЖЕКЕИ ОПХ ЯННРБЕРЯРБСЧЫЕИ ЙНМЙПЕРХГЮЖХХ ЯНЙПЮЫЮЕРЯЪ ДН
АНКЭЬНИ( ЙНР)
(4) оПНЯЛНРП ОПНЦПЮЛЛШ Б ОНХЯЙЮУ ЖЕКХ АНКЭЬНИ( ЙНР). мХ НДМН ОПЕДКНФЕМХЕ МЕ МЮИДЕМН. оНЩРНЛС ОПНХЯУНДХР БНГБПЮР Й ЬЮЦС (3) Х НРЛЕМЮ ЙНМЙПЕРХГЮЖХХ у = ЙНР. яОХЯНЙ ЖЕКЕИ РЕОЕПЭ ЯМНБЮ
ВЕПМШИ( X), АНКЭЬНИ( X)
оПНДНКФЕМХЕ ОПНЯЛНРПЮ ОПНЦПЮЛЛШ МХФЕ ОПЕДКНФЕМХЪ 5. мХ НДМН ОПЕДКНФЕМХЕ МЕ МЮИДЕМН. оНЩРНЛС БНГБПЮР Й ЬЮЦС (2) Х ОПНДНКФЕМХЕ ОПНЯЛНРПЮ МХФЕ ОПЕДКНФЕМХЪ 7. мЮИДЕМН ОПЕДКНФЕМХЕ (8):
РЕЛМШИ( Z) :- ЙНПХВМЕБШИ( Z).
гЮЛЕМЮ ОЕПБНИ ЖЕКХ Б ЯОХЯЙЕ МЮ ЙНПХВМЕБШИ( у), ВРН ДЮЕР
ЙНПХВМЕБШИ( X), АНКЭЬНИ( X)
(5) оПНЯЛНРП ОПНЦПЮЛЛШ ДКЪ НАМЮПСФЕМХЪ ОПЕДКНФЕМХЪ, ЯНОНЯРЮБХЛНЦН ЙНПХВМЕБШИ( X). мЮИДЕМН ОПЕДКНФЕМХЕ ЙНПХВМЕБШИ( ЛЕДБЕДЭ). с ЩРНЦН ОПЕДКНФЕМХЪ МЕР РЕКЮ, ОНЩРНЛС ЯОХЯНЙ ЖЕКЕИ СЛЕМЭЬЮЕРЯЪ ДН
АНКЭЬНИ( ЛЕДБЕДЭ)
(6) оПНЯЛНРП ОПНЦПЮЛЛШ Х НАМЮПСФЕМХЕ ОПЕДКНФЕМХЪ АНКЭЬНИ( ЛЕДБЕДЭ). с МЕЦН МЕР РЕКЮ, ОНЩРНЛС ЯОХЯНЙ ЖЕКЕИ ЯРЮМНБХРЯЪ ОСЯРШЛ. щРН СЙЮГШБЮЕР МЮ СЯОЕЬМНЕ ГЮБЕПЬЕМХЕ, Ю ЯННРБЕРЯРБСЧЫЮЪ ЙНМЙПЕРХГЮЖХЪ ОЕПЕЛЕММШУ РЮЙНБЮ:
line(); пХЯ. 2. 10. оПХЛЕП, ХККЧЯРПХПСЧЫХИ ОПНЖЕДСПМСЧ ЯЕЛЮМРХЙС
оПНКНЦЮ: ЬЮЦХ БШВХЯКЕМХИ, БШОНКМЪЕЛШУ ОПНЖЕДСПНИ БШВХЯКХРЭ.
б ЦКЮБЕ 1 Б ПЮГД. "йЮЙ ОПНКНЦ- ЯХЯРЕЛЮ НРБЕВЮЕР МЮ БНОПНЯШ" ЛШ СФЕ ТЮЙРХВЕЯЙХ ПЮЯЯЛНРПЕКХ, ВРН ДЕКЮЕР ОПНЖЕДСПЮ БШВХЯКХРЭ. б НЯРЮБЬЕИЯЪ ВЮЯРХ ДЮММНЦН ПЮГДЕКЮ ОПХБНДХРЯЪ МЕЯЙНКЭЙН АНКЕЕ ТНПЛЮКЭМНЕ Х ЯХЯРЕЛЮРХВЕЯЙНЕ НОХЯЮМХЕ ЩРНЦН ОПНЖЕЯЯЮ, ЙНРНПНЕ ЛНФМН ОПНОСЯРХРЭ АЕГ ЯЕПЭЕГМНЦН СЫЕПАЮ ДКЪ ОНМХЛЮМХЪ НЯРЮКЭМНЦН ЛЮРЕПХЮКЮ ЙМХЦХ.
йНМЙПЕРМШЕ НОЕПЮЖХХ, БШОНКМЪЕЛШЕ Б ОПНЖЕЯЯЕ БШВХЯКЕМХЪ ЖЕКЕБШУ СРБЕПФДЕМХИ, ОНЙЮГЮМШ МЮ ПХЯ. 2.10. бНГЛНФМН, ЯКЕДСЕР ХГСВХРЭ ЩРНР ПХЯСМНЙ ОПЕФДЕ, ВЕЛ ГМЮЙНЛХРЭЯЪ Я ОНЯКЕДСЧЫХЛ НАЫХЛ НОХЯЮМХЕЛ.
вРНАШ БШВХЯКХРЭ ЯОХЯНЙ ЖЕКЕБШУ СРБЕПФДЕМХИ
G1, G2, ..., Gm
ОПНЖЕДСПЮ БШВХЯКХРЭ ДЕКЮЕР ЯКЕДСЧЫЕЕ:
line();
- еЯКХ ЯОХЯНЙ ЖЕКЕИ ОСЯР - ГЮБЕПЬЮЕР ПЮАНРС СЯОЕЬМН.
- еЯКХ ЯОХЯНЙ ЖЕКЕИ МЕ ОСЯР, ОПНДНКФЮЕР ПЮАНРС, БШОНКМЪЪ (НОХЯЮММСЧ ДЮКЕЕ) НОЕПЮЖХЧ 'опнялнрп'.
- опнялнрп: оПНЯЛЮРПХБЮЕР ОПЕДКНФЕМХЪ ОПНЦПЮЛЛШ НР МЮВЮКЮ Й ЙНМЖС ДН НАМЮПСФЕМХЪ ОЕПБНЦН ОПЕДКНФЕМХЪ я, РЮЙНЦН, ВРН ЦНКНБЮ я ЯНОНЯРЮБХЛЮ Я ОЕПБНИ ЖЕКЭЧ G1. еЯКХ РЮЙНЦН ОПЕДКНФЕМХЪ НАМЮПСФХРЭ МЕ СДЮЕРЯЪ, РН ПЮАНРЮ ГЮЙЮМВХБЮЕРЯЪ МЕСЯОЕУНЛ.
еЯКХ я МЮИДЕМН Х ХЛЕЕР БХД
м :- B1, ..., бn.
РН ОЕПЕЛЕММШЕ Б я ОЕПЕХЛЕМНБШБЮЧРЯЪ, ВРНАШ ОНКСВХРЭ РЮЙНИ БЮПХЮМР я' ОПЕДКНФЕМХЪ я, Б ЙНРНПНЛ МЕР НАЫХУ ОЕПЕЛЕММШУ ЯН ЯОХЯЙНЛ G1, ..., Gm. оСЯРЭ я' - ЩРН
м' :- B1', ..., бn'.
яНОНЯРЮБКЪЕРЯЪ G1 Я H'; ОСЯРЭ S - ПЕГСКЭРХПСЧЫЮЪ ЙНМЙПЕРХГЮЖХЪ ОЕПЕЛЕММШУ. б ЯОХЯЙЕ ЖЕКЕИ G1, G2, .... Gm, ЖЕКЭ G1 ГЮЛЕМЪЕРЯЪ МЮ ЯОХЯНЙ б1', .., бn', ВРН ОНПНФДЮЕР МНБШИ ЯОХЯНЙ ЖЕКЕИ:
б1', ..., бn', G2, ..., Gm
(гЮЛЕРХЛ, ВРН, ЕЯКХ я - ТЮЙР, РНЦДЮ n=0, Х Б ЩРНЛ ЯКСВЮЕ МНБШИ ЯОХЯНЙ ЖЕКЕИ НЙЮГШБЮЕРЯЪ ЙНПНВЕ, МЕФЕКХ ХЯУНДМШИ; РЮЙНЕ СЛЕМЭЬЕМХЕ ЯОХЯЙЮ ЖЕКЕИ ЛНФЕР Б НОПЕДЕКЕММШУ ЯКСВЮЪУ ОПЕБПЮРХРЭ ЕЦН Б ОСЯРНИ, Ю ЯКЕДНБЮРЕКЭМН, - ОПХБЕЯРХ Й СЯОЕЬМНЛС ГЮБЕПЬЕМХЧ.)
оЕПЕЛЕММШЕ Б МНБНЛ ЯОХЯЙЕ ЖЕКЕИ ГЮЛЕМЪЧРЯЪ МНБШЛХ ГМЮВЕМХЪЛХ, ЙЮЙ ЩРН ОПЕДОХЯШБЮЕР ЙНМЙПЕРХГЮЖХЪ S, ВРН ОНПНФДЮЕР ЕЫЕ НДХМ ЯОХЯНЙ ЖЕКЕИ
б1'', .... бn", G2', ..., Gm'
- бШВХЯКЪЕР (ХЯОНКЭГСЪ ПЕЙСПЯХБМН РС ФЕ ЯЮЛСЧ ОПНЖЕДСПС) ЩРНР МНБШИ ЯОХЯНЙ ЖЕКЕИ. еЯКХ ЕЦН БШВХЯКЕМХЕ ГЮБЕПЬЮЕРЯЪ СЯОЕЬМН, РН Х БШВХЯКЕМХЕ ХЯУНДМНЦН ЯОХЯЙЮ ЖЕКЕИ РНФЕ ГЮБЕПЬЮЕРЯЪ СЯОЕЬМН. еЯКХ ФЕ ЕЦН БШВХЯКЕМХЕ ОНПНФДЮЕР МЕСЯОЕУ, РНЦДЮ МНБШИ ЯОХЯНЙ ЖЕКЕИ НРАПЮЯШБЮЕРЯЪ Х ОПНХЯУНДХР БНГБПЮР Й ОПНЯЛНРПС ОПНЦПЮЛЛШ. щРНР ОПНЯЛНРП ОПНДНКФЮЕРЯЪ, МЮВХМЮЪ Я ОПЕДКНФЕМХЪ, МЕОНЯПЕДЯРБЕММН ЯКЕДСЧЫЕЦН ГЮ ОПЕДКНФЕМХЕЛ я (я - ОПЕДКНФЕМХЕ, ХЯОНКЭГНБЮБЬЕЕЯЪ ОНЯКЕДМХЛ) Х ДЕКЮЕРЯЪ ОНОШРЙЮ ДНЯРХВЭ СЯОЕЬМНЦН ГЮБЕПЬЕМХЪ Я ОНЛНЫЭЧ ДПСЦНЦН ОПЕДКНФЕМХЪ.
гДЕЯЭ ЯКЕДСЕР ЯДЕКЮРЭ МЕЯЙНКЭЙН ДНОНКМХРЕКЭМШУ ГЮЛЕВЮМХИ, ЙЮЯЮЧЫХУЯЪ ОПНЖЕДСПШ БШВХЯКХРЭ Б РНЛ БХДЕ, Б ЙНРНПНЛ НМЮ ОПХБНДХРЯЪ. бН-ОЕПБШУ, Б МЕИ ЪБМН МЕ СЙЮГЮМН, ЙЮЙ ОНПНФДЮЕРЯЪ НЙНМВЮРЕКЭМЮЪ ПЕГСКЭРХПСЧЫЮЪ ЙНМЙПЕРХГЮЖХЪ ОЕПЕЛЕММШУ. пЕВЭ ХДЕР Н ЙНМЙПЕРХГЮЖХХ S, ЙНРНПЮЪ ОПХБНДХР Й СЯОЕЬМНЛС ГЮБЕПЬЕМХЧ Х ЙНРНПЮЪ, БНГЛНФМН, СРНВМЪКЮЯЭ ОНЯКЕДСЧЫХЛХ ЙНМЙПЕРХГЮЖХЪЛХ БН БПЕЛЪ БКНФЕММШУ ПЕЙСПЯХБМШУ БШГНБНБ БШВХЯКХРЭ.
line(); procedure БШВХЯКХРЭ (оПНЦП, яОХЯНЙжЕКЕИ, сЯОЕУ)
бУНДМШЕ ОЮПЮЛЕРПШ:
оПНЦП: ЯОХЯНЙ ОПЕДКНФЕМХИ
яОХЯНЙжЕКЕИ: ЯОХЯНЙ ЖЕКЕИ
бШУНДМНИ ОЮПЮЛЕРП:
сЯОЕУ: ХЯРХММНЯРМНЕ ГМЮВЕМХЕ; сЯОЕУ ОПХМХЛЮЕР ГМЮВЕМХЕ
ХЯРХМЮ, ЕЯКХ ЯОХЯНЙ ЖЕКЕБШУ СРБЕПФДЕМХИ
(ХУ ЙНМЗЧМЙЖХЪ) ХЯРХММЕМ Я РНВЙХ ГПЕМХЪ оПНЦП
кНЙЮКЭМШЕ ОЕПЕЛЕММШЕ:
жЕКЭ: ЖЕКЭ
дПСЦХЕжЕКХ: ЯОХЯНЙ ЖЕКЕИ
дНЯРХЦМСРШ: ХЯРХММНЯРМНЕ ГМЮВЕМХЕ
яНОНЯРЮБХКХЯЭ: ХЯРХММНЯРМНЕ ГМЮВЕМХЕ
йНМЙПЕР: ЙНМЙПЕРХГЮЖХЪ ОЕПЕЛЕММШУ
м, м', B1, B1', ..., бn , бn': ЖЕКХ
бЯОНЛНЦЮРЕКЭМШЕ ТСМЙЖХХ:
ОycРНИ( L): БНГБПЮЫЮЕР ХЯРХМС, ЕЯКХ L - ОСЯРНИ ЯОХЯНЙ
ЦНКoБa( L): БНГБПЮЫЮЕР ОЕПБШИ ЩКЕЛЕМР ЯОХЯЙЮ L
УБНЯР( L): БНГБПЮЫЮЕР НЯРЮКЭМСЧ ВЮЯРЭ ЯОХЯЙЮ L
ЙНМЙЮР( L1, L2): ЯНГДЮЕР ЙНМЙЮРЕМЮЖХЧ ЯОХЯЙНБ - ОПХЯНЕДХМЪЕР
ЯОХЯНЙ L2 Й ЙНМЖС ЯОХЯЙЮ L1
ЯНОНЯРЮБКЕМХЕ( T1, T2, яНОНЯРЮБХКХЯЭ, йНМЙПЕР): ОШРЮЕРЯЪ
ЯНОНЯРЮБХРЭ РЕПЛШ р1 Х T2; ЕЯКХ НМХ ЯНОНЯРЮБХЛШ, РН
яНОНЯРЮБХКХЯЭ - ХЯРХМЮ, Ю йНМЙПЕР ОПЕДЯРЮБКЪЕР
ЯНАНИ ЙНМЙПЕРХГЮЖХЧ ОЕПЕЛЕММШУ
ОНДЯРЮБХРЭ( йНМЙПЕР, жЕКХ): ОПНХГБНДХР ОНДЯРЮМНБЙС ОЕПЕЛЕММШУ
Б жЕКХ ЯНЦКЮЯМН йНМЙПЕР
begin
if ОСЯРНИ( яОХЯНЙжЕКЕИ) then сЯОЕУ : = ХЯРХМЮ
else
begin
жЕКЭ : = ЦНКНБЮ( яОХЯНЙжЕКЕИ);
дПСЦХЕжЕКХ : = УБНЯР( яОХЯНЙжЕКЕИ);
дНЯРХЦМСРЮ : = КНФЭ;
while not дНЯРХЦМСРЮ and
" Б ОПНЦПЮЛЛЕ ЕЯРЭ ЕЫЕ ОПЕДКНФЕМХЪ" do
begin
оСЯРЭ ЯКЕДСЧЫЕЕ ОПЕДКНФЕМХЕ Б оПНЦП ЕЯРЭ
м :- B1, .... бn.
яНГДЮРЭ БЮПХЮМР ЩРНЦН ОПЕДКНФЕМХЪ
м' :- б1', .... бn'.
ЯНОНЯРЮБКЕМХЕ( жЕКЭ, м',
яНОНЯРЮБХКХЯЭ, йНМЙПЕР)
if яНОНЯРЮБХКХЯЭ then
begin
мНБШЕжЕКХ : =
ЙНМЙЮР( [б1', ..., бn' ], дПСЦХЕ жЕКХ);
мНБШЕжЕКХ : =
ОНДЯРЮБХРЭ( йНМЙПЕР, мНБШЕжЕКХ);
БШВХЯКХРЭ( оПНЦП, мНБШЕжЕКХ, дНЯРХЦМСРШ)
end
end;
сЯОЕУ : = дНЯРХЦМСРШ
end
end;
line(); пХЯ. 2. 11. бШВХЯКЕМХЕ ЖЕКЕБШУ СРБЕПФДЕМХИ оПНКНЦЮ.
бЯЪЙХИ ПЮГ, ЙЮЙ ПЕЙСПЯХБМШИ БШГНБ ОПНЖЕДСПШ БШВХЯКХРЭ ОПХБНДЪР Й МЕСЯОЕУС, ОПНЖЕЯЯ БШВХЯКЕМХИ БНГБПЮЫЮЕРЯЪ Й опнялнрпс Х ОПНДНКФЮЕРЯЪ Я РНЦН ОПЕДКНФЕМХЪ я, ЙНРНПНЕ ХЯОНКЭГНБЮКНЯЭ ОНЯКЕДМХЛ. оНЯЙНКЭЙС ОПХЛЕМЕМХЕ ОПЕДКНФЕМХЪ я МЕ ОПХБЕКН Й СЯОЕЬМНЛС ГЮБЕПЬЕМХЧ, ОПНКНЦ-ЯХЯРЕЛЮ ДНКФМЮ ДКЪ ОПНДНКФЕМХЪ БШВХЯКЕМХИ ОНОПНАНБЮРЭ ЮКЭРЕПМЮРХБМНЕ ОПЕДКНФЕМХЕ.
б ДЕИЯРБХРЕКЭМНЯРХ ЯХЯРЕЛЮ ЮММСКХПСЕР ПЕГСКЭРЮРШ ВЮЯРХ БШВХЯКЕМХИ, ОПХБЕДЬХУ Й МЕСЯОЕУС, Х НЯСЫЕЯРБКЪЕР БНГБПЮР Б РС РНВЙС (ОПЕДКНФЕМХЕ я), Б ЙНРНПНИ ЩРЮ МЕСЯОЕЬМЮЪ БЕРБЭ МЮВХМЮКЮЯЭ. йНЦДЮ ОПНЖЕДСПЮ НЯСЫЕЯРБКЪЕР БНГБПЮР Б МЕЙНРНПСЧ РНВЙС, БЯЕ ЙНМЙПЕРХГЮЖХХ ОЕПЕЛЕММШУ, ЯДЕКЮММШЕ ОНЯКЕ ЩРНИ РНВЙХ, ЮММСКХПСЧРЯЪ. рЮЙНИ ОНПЪДНЙ НАЕЯОЕВХБЮЕР ЯХЯРЕЛЮРХВЕЯЙСЧ ОПНБЕПЙС ОПНКНЦ-ЯХЯРЕЛНИ БЯЕУ БНГЛНФМШУ ЮКЭРЕПМЮРХБМШУ ОСРЕИ БШВХЯКЕМХЪ ДН РЕУ ОНП, ОНЙЮ МЕ АСДЕР МЮИДЕМ ОСРЭ, БЕДСЫХИ Й СЯОЕУС, ХКХ ФЕ ДН РЕУ ОНП, ОНЙЮ МЕ НЙЮФЕРЯЪ, ВРН БЯЕ ОСРХ ОПХБНДЪР Й МЕСЯОЕУС.
лШ СФЕ ГМЮЕЛ, ВРН ДЮФЕ ОНЯКЕ СЯОЕЬМНЦН ГЮБЕПЬЕМХЪ ОНКЭГНБЮРЕКЭ ЛНФЕР ГЮЯРЮБХРЭ ЯХЯРЕЛС ЯНБЕПЬХРЭ БНГБПЮР ДКЪ ОНХЯЙЮ МНБШУ ПЕЬЕМХИ. б МЮЬЕЛ НОХЯЮМХХ ОПНЖЕДСПШ БШВХЯКХРЭ ЩРЮ ДЕРЮКЭ АШКЮ НОСЫЕМЮ.
йНМЕВМН, Б МЮЯРНЪЫХУ ПЕЮКХГЮЖХЪУ оПНКНЦЮ Б ОПНЖЕДСПС БШВХЯКХРЭ ДНАЮБКЕМШ Х ЕЫЕ МЕЙНРНПШЕ СЯНБЕПЬЕМЯРБНБЮМХЪ. нДМН ХГ МХУ - ЯНЙПЮЫЕМХЕ ПЮАНРШ ОН ОПНЯЛНРПЮЛ ОПНЦПЮЛЛШ Я ЖЕКЭЧ ОНБШЬЕМХЪ ЩТТЕЙРХБМНЯРХ. оНЩРНЛС МЮ ОПЮЙРХЙЕ ОПНКНЦ-ЯХЯРЕЛЮ МЕ ОПНЯЛЮРПХБЮЕР БЯЕ ОПЕДКНФЕМХЪ ОПНЦПЮЛЛШ, Ю БЛЕЯРН ЩРНЦН ПЮЯЯЛЮРПХБЮЕР РНКЭЙН РЕ ХГ МХУ, ЙНРНПШЕ ЙЮЯЮЧРЯЪ РЕЙСЫЕЦН ЖЕКЕБНЦН СРБЕПФДЕМХЪ.
