1-amaliy ish. Prolog mantiqiy dasturlash tili prolog haqida umumiy ma'lumot
Download 317.05 Kb. Pdf ko'rish
|
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: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling