Prolog sintaksis va semantikasi - Prolog syntax and semantics - Wikipedia

The sintaksis va semantikasi Prolog dasturlash tili Prolog dasturi qanday yozilishini va qanday talqin qilinishini belgilaydigan qoidalar to'plamidir. Qoidalar belgilangan ISO standarti ISO / IEC 13211^[1] da farqlari mavjud bo'lsa-da Prolog dasturlari.

Ma'lumot turlari

Prolog dinamik ravishda terilgan. Unda bitta bor ma'lumotlar turi, muddat, bir nechta kichik tiplarga ega: atomlar, raqamlar, o'zgaruvchilar va qo'shma atamalar.

An atom xos ma'nosi bo'lmagan umumiy maqsadli ism. U Prolog o'quvchi tomonidan yagona birlik sifatida tahlil qilingan belgilar ketma-ketligidan iborat. Atomlar, odatda, maxsus sintaksisiz yozilgan Prolog kodidagi yalang'och so'zlardir. Biroq, bo'shliqlarni yoki boshqa ba'zi bir maxsus belgilarni o'z ichiga olgan atomlar bitta tirnoq bilan o'ralgan bo'lishi kerak. Bosh harf bilan boshlanadigan atomlarni, ularni o'zgaruvchilardan ajratib ko'rsatish uchun ham kotirovka qilish kerak. Bo'sh ro'yxat, yozilgan [], shuningdek, atomdir. Atomlarning boshqa misollariga quyidagilar kiradi x, ko'k, "Tako"va "ba'zi atomlar".

Raqamlar bolishi mumkin suzadi yoki butun sonlar. Ko'pgina Prolog dasturlari cheklanmagan butun sonlarni va ratsional sonlar.

O'zgaruvchilar harflar, raqamlar va pastki chiziq belgilaridan tashkil topgan va katta harf yoki pastki chiziq bilan boshlanadigan qator bilan belgilanadi. O'zgaruvchilar mantiqiy o'zgaruvchilarga chambarchas o'xshaydi, chunki ular ixtiyoriy atamalar uchun to'ldiruvchidir. O'zgaruvchan vositani yaratishi mumkin (ma'lum bir muddatga teng bo'lishi shart) birlashtirish. Bitta pastki chiziq (_) noma'lum o'zgaruvchini bildiradi va "har qanday atama" degan ma'noni anglatadi. Boshqa o'zgaruvchilardan farqli o'laroq pastki chiziq predikat ta'rifi doirasida hamma joyda bir xil qiymatni anglatmaydi.

A aralash atama yana "atamalar" bo'lgan "funktsiya" va bir qator "argumentlar" deb nomlangan atomlardan iborat. Murakkab atamalar odatda funktsiya sifatida yoziladi, so'ngra qavs ichida vergul bilan ajratilgan argumentlar atamalari ro'yxati keltiriladi. Argumentlar soni atama deyiladi arity. Atomni birikma atama deb hisoblash mumkin arity nol.

Murakkab atamalarga misollar yuk mashinasi_yil ('Mazda', 1986) va 'Shaxsiy_Do'stlar' (zelda, [tom, jim]). Operator deb e'lon qilingan funktsional funktsiyalar bilan murakkab atamalar prefiks yoki infiks yozuvida yozilishi mumkin. Masalan, atamalar - (z), + (a, b) va = (X, Y) sifatida ham yozilishi mumkin -z, a + b va X = Ynavbati bilan. Foydalanuvchilar o'zboshimchalik bilan ishlaydigan funktsiyalarni domenga xos belgilarga ruxsat berish uchun har xil ustuvorliklarga ega operatorlar deb e'lon qilishlari mumkin. Notation f / n odatda funktsiyali atamani belgilash uchun ishlatiladi f va jodugarlik n.

Murakkab atamalarning alohida holatlari:

• Ro'yxatlar induktiv ravishda aniqlanadi: Atom [] bu ro'yxat. Funktsiyasi bo'lgan murakkab atama . (nuqta) va arity 2, ikkinchi argumenti ro'yxat bo'lib, o'zi ro'yxatdir. Ro'yxatlarni belgilash uchun maxsus sintaksis mavjud: . (A, B) ga teng [A | B]. Masalan, ro'yxat .(1, .(2, .(3, []))) sifatida ham yozilishi mumkin [1 | [2 | [3 | []]]], yoki undan ham ixcham [1,2,3].
• Iplar: Qo'shtirnoq bilan o'ralgan belgilar ketma-ketligi (odatda) lokalda (raqamli) belgilar kodlari ro'yxatiga teng belgilarni kodlash yoki Unicode agar tizim Unicode-ni qo'llab-quvvatlasa.

Prolog dasturlari

Prolog dasturlari bandlar yordamida aniqlangan munosabatlarni tavsiflaydi. Pure Prolog bilan cheklangan Shoxning gaplari, a Turing to'liq birinchi darajali pastki qism mantiq. Gapning ikki turi mavjud: Faktlar va qoidalar. Qoidalar shaklga ega

Bosh :- Tana.

va "Badan rost bo'lsa, bosh to'g'ri" deb o'qiladi. Qoidalar tanasi predikatlarga chaqiriqlardan iborat bo'lib, ularni qoida deb atashadi maqsadlar. O'rnatilgan predikat ,/2 (nomi bilan 2-darajali operatorni anglatadi ,) bildiradi birikma maqsadlar va ;/2 bildiradi ajratish. Bog'lanish va ajratish faqat tanada paydo bo'lishi mumkin, qoida boshida emas.

Bo'sh tanasi bo'lgan gaplar chaqiriladi faktlar. Haqiqatning misoli:

mushuk(tom).

bu qoidaga teng:

mushuk(tom) :- to'g'ri.

yana bir misol:

X bu 3+2.

va uni ishga tushirganingizda natija bo'ladi

 X=5 Ha.

O'rnatilgan predikat rost / 0 har doim ham to'g'ri.

Baholash

Prolog dasturining bajarilishi foydalanuvchining so'rov deb nomlangan bitta maqsadni e'lon qilishi bilan boshlanadi. Mantiqan, Prolog dvigateli a ni topishga harakat qiladi qaror inkor qilingan so'rovni rad etish. Prolog tomonidan qo'llaniladigan rezolyutsiya usuli deyiladi SLD o'lchamlari. Agar inkor qilingan so'rovni rad etish mumkin bo'lsa, unda tegishli o'zgaruvchan bog'lamalar mavjud bo'lgan so'rov mantiqiy natija dasturning. Bunday holda, barcha hosil bo'lgan o'zgaruvchan birikmalar foydalanuvchiga xabar qilinadi va so'rov muvaffaqiyatli bajarilgan deb aytiladi. Amaliy jihatdan Prologni bajarish strategiyasini boshqa tillardagi funktsiya chaqiruvlarini umumlashtirish deb hisoblash mumkin, bir farq shundaki, bir nechta band boshlari berilgan qo'ng'iroqqa mos kelishi mumkin. Bunday holda, tizim tanlov nuqtasini yaratadi, maqsadni birinchi muqobilning bosh qismi bilan birlashtiradi va shu birinchi muqobilning maqsadlari bilan davom etadi. Agar dasturni amalga oshirishda biron bir maqsad bajarilmasa, so'nggi tanlov nuqtasi yaratilganidan buyon qilingan barcha o'zgaruvchan birikmalar bekor qilinadi va bajarilish ushbu tanlov nuqtasining keyingi alternativasi bilan davom etadi. Ushbu ijro strategiyasi xronologik deb nomlanadi orqaga qaytish. Masalan:

ona_bola(trude, sally). ota_bola(tom, sally).ota_bola(tom, erika).ota_bola(Mayk, tom). qardosh(X, Y)      :- ota_bola(Z, X), ota_bola(Z, Y). ota_bola(X, Y) :- ota_bola(X, Y).ota_bola(X, Y) :- ona_bola(X, Y).

Buning natijasida quyidagi so'rov to'g'ri deb baholanadi:

?- qardosh(sally, erika).Ha

Bu quyidagicha olinadi: Dastlab, so'rov uchun faqat bitta bosh gap mos keladi qardosh (salli, erika) birinchisi, shuning uchun so'rovni tasdiqlash ushbu bandning tanasini mos keladigan o'zgaruvchan birikmalar bilan tasdiqlash bilan tengdir, ya'ni qo'shma (parent_child (Z, sally), parent_child (Z, erica)). Keyingi isbotlangan maqsad bu bog'lanishning eng chap tomonidir, ya'ni. parent_child (Z, sally). Ikki bandning boshlari ushbu maqsadga mos keladi. Tizim tanlov nuqtasini yaratadi va tanasi bo'lgan birinchi alternativani sinab ko'radi otasi (Z, salli). Ushbu maqsad fakt yordamida isbotlanishi mumkin ota_bola (tom, salli), shuning uchun majburiy Z = tom hosil bo'ladi va isbotlanadigan keyingi maqsad yuqoridagi birikmaning ikkinchi qismidir: ota-bola (tom, erika). Shunga qaramay, buni tegishli fakt bilan isbotlash mumkin. Barcha maqsadlarni isbotlash mumkin bo'lganligi sababli, so'rov muvaffaqiyatli bo'ladi. So'rov hech qanday o'zgaruvchini o'z ichiga olmaganligi sababli, foydalanuvchiga hech qanday bog'lanish haqida xabar berilmaydi. O'zgaruvchilar bilan so'rov, masalan:

?- ota_bola(Ota, Bola).

backtracking bo'yicha barcha to'g'ri javoblarni sanab chiqadi.

Yuqorida aytib o'tilganidek, kod bilan so'rovga e'tibor bering ? - aka-uka (salli, salli). ham muvaffaqiyatga erishadi. Agar xohlasangiz, tegishli cheklovlarni tavsiflash uchun qo'shimcha maqsadlar qo'yiladi.

Looplar va rekursiya

Takroriy algoritmlarni rekursiv predikatlar yordamida amalga oshirish mumkin. Prolog tizimlari odatda taniqli optimallashtirish texnikasini qo'llashadi quyruq chaqiruvi namoyish etuvchi predmetlar uchun optimallashtirish (TCO) quyruq rekursiyasi yoki umuman olganda quyruq qo'ng'iroqlari: Qo'ng'iroqni quyruq holatida bajarishdan oldin bandning stek ramkasi tashlanadi. Shu sababli, deterministik quyruq-rekursiv predikatlar, boshqa tillardagi ko'chadanlar singari doimiy stak maydoni bilan bajariladi.

Kesish

A kesilgan (!) qoida ichida Prologni kesish orqasidagi har qanday predmetlarni orqaga qaytarishining oldini oladi:

predikat(X) :- bitta(X), !, ikkitasi(X).

ning birinchi topilgan qiymati ishlamay qoladi X buning uchun bitta (X) to'g'ri olib keladi ikki (X) yolg'on.

Anonim o'zgaruvchilar

Anonim o'zgaruvchilar _ hech qachon qiymatga bog'lanib qolmaydi va predikatda bir necha marta ishlatilishi mumkin.

Masalan, berilgan qiymat bo'yicha ro'yxatni qidirish:

o'z ichiga oladi(V, []) :- yolg'on.o'z ichiga oladi(V, [V|_]) :- to'g'ri.o'z ichiga oladi(V, [_|T]) :- o'z ichiga oladi(V, T).

Salbiy

Ichki Prolog predikati \+/1 beradi inkor etishmovchilik sifatida bunga imkon beradi monotonik emas mulohaza yuritish. Maqsad + noqonuniy (X) qoida bo'yicha

qonuniy(X) :- \+ noqonuniy(X).

quyidagicha baholanadi: Prolog buni isbotlashga urinadi noqonuniy (X). Agar ushbu maqsad uchun dalil topilsa, asl maqsad (ya'ni, + noqonuniy (X)) bajarilmaydi. Agar dalil topilmasa, asl maqsad muvaffaqiyatli bo'ladi. Shuning uchun \+/1 prefiks operatori so'rovdan beri "isbotlanmaydigan" operator deb nomlanadi ? - + Maqsad. agar maqsad isbotlanmasa muvaffaqiyatli bo'ladi. Bunday inkor tovush agar uning argumenti bo'lsa "zamin" (ya'ni o'zgaruvchini o'z ichiga olmaydi). Agar argument o'zgaruvchiga ega bo'lsa, mustahkamlik yo'qoladi. Xususan, so'rov ? - qonuniy (X). endi qonuniy bo'lgan barcha narsalarni sanab o'tishda foydalanib bo'lmaydi.

Semantik

Deklarativ o'qishda qoidalar tartibi va qoidalar ichidagi maqsadlar ahamiyatsiz bo'ladi, chunki mantiqiy disjunksiya va konjunus komutativdir. Ammo protsessual ravishda ko'pincha samaradorlik sabablari yoki baholash tartibi muhim bo'lgan harom o'rnatilgan predikatlar semantikasi tufayli Prolog-ning bajarilish strategiyasini hisobga olish juda muhimdir, shuningdek, Prolog tarjimonlari ushbu bandlarni birlashtirishga harakat qilmoqdalar. ular taqdim etgan buyurtma, to'g'ri buyurtmani bermaslik cheksiz rekursiyaga olib kelishi mumkin, chunki:

predikat1(X) :-  predikat2(X,X).predikat2(X,Y) :-  predikat1(X),  X \= Y.

Ushbu buyurtmani hisobga olgan holda, shaklning har qanday so'rovi

?- predikat1(atom).

stek tugamaguncha takrorlanadi. Agar shunday bo'lsa, oxirgi 3 qator quyidagicha o'zgartirilgan:

predikat2(X,Y) :-  X \= Y,  predikat1(X).

xuddi shu so'rov juda qisqa vaqt ichida Yo'q natijaga olib keladi.

Belgilangan band grammatikalari

Belgilangan band grammatikalari deb nomlangan maxsus yozuv mavjud (DCGlar ). Orqali aniqlangan qoida -->/2 o'rniga :-/2 protsessor tomonidan kengaytirilgan (kengaytirish_term / 2, boshqa tillardagi makrolarga o'xshash ob'ekt) bir nechta to'g'ridan-to'g'ri qayta yozish qoidalariga muvofiq, natijada oddiy Prolog bandlari mavjud. Shunisi e'tiborliki, qayta yozish predikatni ikkita qo'shimcha dalil bilan jihozlaydi. monadalar boshqa tillarda. DCG'lar ko'pincha tahlilchilar yoki ro'yxat generatorlarini yozish uchun ishlatiladi, chunki ular shuningdek, farqlar ro'yxati uchun qulay interfeysni taqdim etadi.

Ayrimroq misol

Kattaroq misol Prolog-dan foydalanish imkoniyatini ko'rsatadi tahlil qilish.

Da ifodalangan gapni hisobga olgan holda Backus-Naur shakli:

<hukm>    ::=  <stat_ qism><stat_ qism>   ::=  <bayonot> | <stat_ qism> <bayonot><bayonot>   ::=  <id> = <ifoda> ;<ifoda>  ::=  <operand> | <ifoda> <operator> <operand><operand>     ::=  <id> | <raqam><id>          ::=  a | b<raqam>       ::=  0..9<operator>    ::=  + | - | *

Buni Prolog-da DCG-lar yordamida yozish mumkin, bu taxminiy tahlilchiga bir belgi bilan qarashga mos keladi:

hukm(S)                --> bayonot(S0), jumla_r(S0, S).jumla_r(S, S)           --> [].jumla_r(S0, seq(S0, S)) --> bayonot(S1), jumla_r(S1, S). bayonot(tayinlamoq(Id,E)) --> id(Id), [=], ifoda(E), [;]. ifoda(E) --> muddat(T), ifoda_r(T, E).ifoda_r(E, E)  --> [].ifoda_r(E0, E) --> [+], muddat(T), ifoda_r(ortiqcha(E0,T), E).ifoda_r(E0, E) --> [-], muddat(T), ifoda_r(minus(E0, T), E). muddat(T)       --> omil(F), term_r(F, T).muddatli_r(T, T)  --> [].term_r(T0, T) --> [*], omil(F), term_r(marta(T0, F), T). omil(id(ID))   --> id(ID).omil(raqam(D.)) --> [D.], { (raqam(D.) ; var(D.)), o'rtasida(0, 9, D.)}. id(a) --> [a].id(b) --> [b].

Ushbu kod jumla (jetonlar ro'yxati sifatida berilgan) va uning o'rtasidagi munosabatni belgilaydi mavhum sintaksis daraxti (AST). Misol so'rovi:

?- ibora(hukm(AST), [a,=,1,+,3,*,b,;,b,=,0,;]).AST = seq(tayinlamoq(a, ortiqcha(raqam(1), marta(raqam(3), id(b)))), tayinlamoq(b, raqam(0))) ;

AST Prolog atamalari yordamida ifodalanadi va optimallashtirishni qo'llash, bunday iboralarni mashina kodiga kompilyatsiya qilish yoki to'g'ridan-to'g'ri bunday bayonotlarni izohlash uchun ishlatilishi mumkin. Predikatlarning relyatsion tabiati uchun odatdagidek, ushbu ta'riflardan jumlalarni tahlil qilish va yaratish uchun, shuningdek, ma'lum bir daraxtning jetonlar ro'yxatiga mos kelishini tekshirish uchun foydalanish mumkin. Foydalanish takroriy chuqurlashish adolatli ro'yxatga olish uchun har bir o'zboshimchalik bilan, ammo qat'iy jumla va unga tegishli AST hosil bo'ladi:

?- uzunlik(Tokenlar, _), ibora(hukm(AST), Tokenlar). Tokenlar = [a, =, a, (;)], AST = tayinlamoq(a, id(a)) ; Tokenlar = [a, =, b, (;)], AST = tayinlamoq(a, id(b)) va boshqalar.

Shuningdek qarang

• Prolog dasturlarini taqqoslash

Adabiyotlar