7-мавзу. Мантиқий дастурлаш. Операцион семантикаси

Download 28,05 Kb. bet 3/3 Sana 23.02.2022 Hajmi 28,05 Kb. #123210 Turi Програма

Bog'liq
7-Мавзу

partition([], _, [], []).
Қисмларга бўлиниш
partition([X|Xs], Pivot, Smalls, Bigs) :- ( X @< Pivot -> Smalls = [X|Rest], partition(Xs, Pivot, Rest, Bigs) ; Bigs = [X|Rest], partition(Xs, Pivot, Smalls, Rest) ). quicksort([]) --> []. quicksort([X|Xs]) --> { partition(Xs, X, Smaller, Bigger) }, quicksort(Smaller), [X], quicksort(Bigger).	Саралашни бошлаш

2-мисол. Тез саралаш

Таъриф	Изох
maplist(_P, [], []). maplist(P, [X1|X1s], [X2|X2s]):- call(P, X1, X2), maplist(P, X1s, X2s).	Кўрсатадиган нарса йўқ Бошини ажратиш мумкин Биринчисидан чақириш Қолганлари намойиш қилиш

3-мисол. Намойиш қилиш

Таъриф	Изох
mi1(true). mi1((A,B)) :- mi1(A),	Вариантларнинг тенглиги. Мақсад сари ҳаракатланиш.
mi1(B). mi1(Goal) :- Goal \= true, Goal \= (_,_), clause (Goal, Body), mi1(Body).

4-мисол. Prolog-интерпретаторининг кенгатириладиган скелети.

Таъриф	Изох
provable(true, _) :- !.	Исботланувчи
provable((G1,G2), Defs) :- !,
provable(G1,Defs), provable(G2, Defs). provable(BI, _) :- predicate_property(BI, built_in), !, call(BI). provable(Goal,Defs):-member(Def, Defs) copy_term(Def,Goal-Body), provable(Body, Defs).	Вариантлар. Жойлаштирилган хусусиятлар Мақсад сари ҳаракатланиш.

5-мисол. Мақсадни чиқиш имконияти.

Интерпретаторни умумлаштириш

Provable (Goal, Defs) функциясининг таърифи, агар мақсад Head-Body шаклидаги иборалар рўйхати билан ифодаланган Defsга нисбатан аниқланмаса, ҳақиқий деб баҳоланади. Орқага қайтишни тўлиқ амалга ошириш натижаларни детерминистик тарзда тўплашни талаб қилади. Ягона муқобил алтернативалар рўйхати сифатида ишлатилиши мумкин бўлган мақсадлар ва тармоқлар рўйхати сифатида тақдим этилади.

Таъриф	Изох
mi_backtrack_([[]-G|_], G). mi_backtrack_(Alts0,G):- resstep_(Alts0,Alts1), mi_backtrack_(Alts1, G).	Бошқа вариантлар йўқ. Бошқа вариантларни кўриб чиқиш.

6-мисол. Бэктрекинг. Клауз муваффақияциз танланганда қайтишлар.
Aгар мақсадларнинг ҳеч бири исботланмаган бўлса, унда ички навбатдан ечим танланади. Иккинчи клауза ҳисоб-китобларни тасвирлайди.
Тилнинг юқори даражадаги функциялар (HiLog,λProlog) ва модуллар билан ишлашга мослаштирилган версиялари мавжуд.
Prolog тили ISO стандарти компиляция, сўнги рекурсияни, термо(мураккаб сўзларнинг биринчи қисми)ларини индекслашни, хешлашлашни, жадвалларни қайта ишлашни қўллаб-қувватлайди.
Япониянинг 5-авлод компютер тизимлари лойиҳаси доирасида мантиқий дастурлаш учун ёрқин реклама элементлар базаси ривожланиб бориши билан сусайиб қолди. Илмий тадқиқотлар ва таълим жараёнида тилдан кенг фойдаланилганига қарамай, мантиқий дастурлаш ҳали компютер саноатига катта ҳисса қўша олмади. Эҳтимол, бунинг сабаби шундаки, ҳар қандай ишлаб чиқариш етарли даражада ўрганилган масалаларни афзал кўради ва мантиқий дастурлашнинг кучли томони аниқланмаган масалалар синфида намоён бўлади.
Яхши ташкил этилган тузилмалар ва буюртма қилинган маълумотлар бўйича аниқ алгоритм кўринишидаги масалани аниқ ечимини синчковлик билан, пухта ишлаш, масалалар синфи ва уларни ҳал қилишга қўйиладиган талабларни синчковлик билан ва пухта ўрганиш натижасида қабул қилинади. Бундай ҳолатларда самарали ва ишончли дастурлар – табиий мукофотдир.
Бироқ, бир қатор ҳолларда, қўйилган масалаларнинг моҳияти учун вариантлардан бирини эркин танлашни талаб қилади – тўпламнинг ихтиёрий элементини танлаш, маълум қонуниятлар бўлмаган тақдирда воқеа содир бўлиш эҳтимоли, ўйинли созламалар ва сценарийларда псевдо-тасодифий ўзгаришлар, маълумотлар блокини хотирага жойлаштириш учун биринчи мос манзилни қидириш, ҳужжатларни ва бадиий матнларни таржима қилишда лингвистик таҳлил ва бошқалар.
Имтиёзлар бўлмаган тақдирда, барча мумкин бўлган вариантлар тенгдир, шунинг учун уларни отладкка қилиш ва қайта ишлаш технологияси бундай вариантларни ҳисоблаш учун формал равишда тенг имкониятларни таъминлаши керак (шунга ўхшаш муаммо тармоқларда хизматларни ташкил қилиш ва операцион тизимлар томонидан вазифаларни бажариш учун одатий ҳисобланади. Aгар тармоқ тугунлари ва тармоқнинг вазифаларига формл тақиқ қўйилмаган бўлса, барча тармоқ тугунлари ва тармоқ вазифаларига потенциал равишда эришиш яъни улардан фойдаланиш мумкин бўлиши керак).

Download 28,05 Kb.

Do'stlaringiz bilan baham: