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


Download 317.05 Kb.
Pdf ko'rish
bet3/3
Sana16.10.2023
Hajmi317.05 Kb.
#1705048
1   2   3
Bog'liq
1-amaliy ish

X = Tanya 
X = sasha 
b) Sashani kim biladi? 
iltimos: biladi (X, Sasha). 
Natija: X = Lena 


So'rovlar murakkab bo'lishi mumkin, ya'ni bir nechta oddiy so'rovlardan 
iborat. Ular "va" mantiqiy bog'lovchisi sifatida tushuniladigan "," belgisi bilan 
birlashtiriladi. 
Oddiy so'rovlar deyiladi pastki maqsad, qo'shma so'rov qabul 
qilinadi 
haqiqiy qiymat
 har bir pastki maqsad haqiqat bo'lganda. 
Lena va Sashaning umumiy tanishlari bor-yo'qligiga javob berish uchun siz 
so'rov qilishingiz kerak: 
biladi (lena, X), biladi (sasha, X). 
Natija: 
X = Tanya 
3. PROLOG'dagi o'zgaruvchilar 
PROLOG-dagi o'zgaruvchiga xotiraning ajratilgan qismi sifatida 
qaralmaydi. Nomi bilan murojaat qilib bo'lmaydigan ob'ektni belgilash uchun 
ishlatiladi. o'zgaruvchini hisobga olish mumkin 
mahalliy ism
 ba'zi ob'ektlar uchun. 
Oʻzgaruvchi nomi bilan boshlanishi kerak 
Bosh harf
 yoki pastki chiziq va 
faqat harflar, raqamlar va pastki chiziqdan iborat: X, _y, AB, X1. Hech qanday 
qiymatga ega bo'lmagan o'zgaruvchi chaqiriladi ozod, qiymatga ega bo'lgan 
o'zgaruvchi - xos
Faqat pastki chiziqdan iborat o'zgaruvchi deyiladi anonim va uning qiymati 
ahamiyatli bo'lmaganda qo'llaniladi. Masalan, faktlar mavjud: 
ota-ona (Ira, Tanya). 
ota-ona (Misha, Tanya). 
ota-ona (olya, ira). 
Barcha ota-onalar aniqlanishi kerak 
Talab: ota (X, _) 
Natija: 
X = Ira 
X = Misha 
X = Olya 


O'zgaruvchining doirasi tasdiqdir. Izoh ichida bir xil nom bir xil 
o'zgaruvchiga tegishli. Ikkita ibora bir xil o'zgaruvchi nomidan butunlay boshqacha 
tarzda foydalanishi mumkin. 
PROLOGUE-da tayinlash operatori yo'q, uning rolini = tenglik operatori 
bajaradi. Maqsad X=5 ni taqqoslash (agar X qiymati bo'lsa) yoki topshiriq (agar X 
bo'sh bo'lsa) sifatida ko'rish mumkin. 
PROLOGda o'zgaruvchining qiymatini oshirish uchun X=X+5 ni yozib 
bo'lmaydi. Yangi o'zgaruvchidan foydalanish kerak: Y=X+5. 

Download 317.05 Kb.

Do'stlaringiz bilan baham:
1   2   3




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