Toshkent axborot texnologiyalari universiteti

Boshqa so'rovlar

Prolog-ga boshqa umumiy so'rovlar yuborilishi mumkin, bu tizim bir nechta natijalarni keltirib chiqaradi:

-? - parent_of (Ota-ona, bola).

- Ota = bobbi
- Bola = Karlos
- Ota = Karlos
- Bola = doris

Ko'rib turganimizdek, mantiqiy dasturlash, ular haqida bilim olish uchun alissa yoki bobbi odamlar ekanligi haqida ma'lumotga ega bo'lishni talab qilmaydi. Aslida, shaxs deb nomlangan tushunchaning mavjudligini ko'rsatish shart emas.

Ko'pgina mantiqiy bo'lmagan dasturlash tillarida, odamlar haqida ma'lumotni qayta ishlaydigan dasturlarni yozishdan oldin, avval ushbu tushunchalarni aniqlab olishingiz kerak bo'ladi.


ADABIYOTLAR

1. 
   Chuqur AI (2020). Mantiqiy dasturlash. Deepai.org saytidan olingan.
   
2. 
   Vikipediya (2020). Dasturlash tillari nazariyasi / Mantiqiy dasturlash. Olingan: en.wikiversity.org.
   
3. 
   London Imperial kolleji (2006). Mantiqiy dasturlash. Olingan: doc.ic.ac.uk.
   
4. 
   Jia-Huai You (2020). Mantiqiy dasturlash bilan tanishish. Alberta universiteti. Olingan: eng.ucy.ac.cy.
   
5. 
   C2 Wiki (2020). Mantiqiy dasturlash. Olingan: wiki.c2.com.