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



Download 28,05 Kb.
bet3/3
Sana23.02.2022
Hajmi28,05 Kb.
#123210
TuriПрограма
1   2   3
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:
1   2   3




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish