1-amaliy ish. Prolog mantiqiy dasturlash tili prolog haqida umumiy ma'lumot

2. Takliflar: faktlar va qoidalar 
PROLOG dasturi gaplardan iborat bo'lib, ular faktlar, qoidalar yoki so'rovlar 
bo'lishi mumkin. 
Fakt ob'ektlar o'rtasida qandaydir o'ziga xos munosabatlar kuzatilganligi 
haqidagi bayonotdir. Fakt ma'lumotlar orasidagi oddiy munosabatni ko'rsatish 
uchun ishlatiladi. 
Fakt tuzilishi: 
<имя_отношения>(t1,t2,...,tn)), t1,t2,...,tn obyektlardir 
Haqiqiy misollar: 
o'qish (Ira, universitet). % Ira universitetda o'qiydi 
ota-ona (ivan, Aleksey). % Ivan - Alekseyning ota-onasi 
dasturlash_tili (prolog). % Prolog - bu dasturlash tili 
Faktlar to'plami ma'lumotlar bazasi. Haqiqat ko'rinishida dastur haqiqat deb 
qabul qilingan va isbot talab qilmaydigan ma'lumotlarni yozib oladi. 
Qoidalar mavjud faktlar asosida ob'ektlar o'rtasidagi munosabatlarni 
o'rnatish uchun ishlatiladi. 
Qoidalarning tuzilishi: 
<имя_правила> :- <тело правила>yoki 
<имя_правила >agar<тело правила> 
Xulosa chiqarish qoidasining chap tomoni deyiladi bosh qoidalar va o'ng 
tomoni - tanasi. Tana vergul yoki nuqta-vergul bilan ajratilgan bir nechta 
shartlardan iborat bo'lishi mumkin. Vergul mantiqiy VA amalini, nuqta-vergul 
mantiqiy OR amalini bildiradi. Xulosa qoidalarini shakllantirishni umumlashtirish 
uchun jumlalar o'zgaruvchilardan foydalanadi. O'zgaruvchilar faqat bitta jumlada 
ishlaydi. Turli jumlalardagi ism turli ob'ektlarga ishora qiladi. Barcha jumlalar 
nuqta bilan tugashi kerak. 
Qoidalarga misollar: 
ona (X, Y) :- ota-ona (X, Y), ayol (X). 

---

talaba (X):- o„qiydi (X, institut); o'qish (X, universitet). 
Qoidaning faktdan farqi shundaki, fakt har doim to'g'ri bo'ladi va qoidaning 
asosiy qismini tashkil etuvchi barcha bayonotlar o'rinli bo'lsa, qoida haqiqatdir. 
Faktlar va qoidalar shakllanadi bilimlar bazasi. 
Agar ma'lumotlar bazasi mavjud bo'lsa, unda siz yozishingiz 
mumkin iltimos(maqsad) unga. So'rov - bu dastur hal qilishi kerak bo'lgan 
muammoning bayoni. Uning tuzilishi qoida yoki faktning tuzilishi bilan bir xil. 
Konstantalar bilan so'rovlar va o'zgaruvchilar bilan so'rovlar mavjud. 
Doimiy so'rovlar ikkita javobdan birini olishga imkon beradi: "ha" yoki 
"yo'q" 
Masalan, faktlar mavjud: 
biladi (lena, tanya). 
biladi (lena, sasha). 
biladi (Sasha, Tanya). 
a) Lena Sashani biladimi? 
iltimos: biladi (lena, sasha). 
Natija: ha 
b) Tanya Lenani biladimi? 
iltimos biladi (tanya, lena). 
Natija: yo'q 
Agar so'rovga o'zgaruvchi kiritilgan bo'lsa, tarjimon so'rov rost bo'ladigan 
qiymatlarni topishga harakat qiladi. 
a) Lena kimni biladi? 
iltimos: biladi (lena, X). 
Natija: