Dasturlash uslublari va paradigmalari fanidan oraliq nazorat savollari

(1 2 3 4) - toʻrtta raqamdan iborat roʻyxat.
Roʻyxat yarating:
(list )


(list 1 2 3 4) → (1 2 3 4)
(list) → ()
Ro'yxatdagi operatsiyalar:


cons — qurish
(cons ) →
Ba'zi qiymatlardan ("bosh") va boshqa ro'yxatdan ("quyruq") yangi ro'yxat yaratadi. Yangi ro'yxatning birinchi elementi "bosh" bo'ladi, keyingi elementlar quyruq bo'ladi.


(cons 1 (list 2 3 4)) → (1 2 3 4)

Bular selektorlar, ular ro'yxatning boshi va dumini so'rashadi, ro'yxat bo'sh bo'lmasligi kerak.

(car (list 1 2 3 4)) → 1
(cdr (list 1 2 3 4)) → (2 3 4)


(null? (list 1 2 3 4)) → #f
(null? (list)) → #t

17. 
    Mantiqiy dasturlash paradigmasi haqida bayon qiling (predikat, Prolog,Epilog, mantiqiy mulohaza, rost, yolg’on,deklarativ,mantiqiy dastur).
    

• 
  Mantiqiy dastur - obyektlarning, funksiya va predmet sohasidagi munosabatlarning tasdiqlar to’plami (fakt va qoidalar)dan tuziladi.
  

Mantiqiy dasturlash - bu deklarativ shaklda ko’rsatilgan bilimlarning mantiqiy usullaridan foydalangan holda muammolarni yecha oladigan ko’plab mantiqiy metodlar majmui sifatida namoyon bo’luvchi dasturlash paradigmasidir.

18. 
    Prolog dasturlash tili haqida bayon qiling(Alan Kolmeroe, teoremlarni vatomatik isbotlash,faktlar, qoidalar, so’rovlar).
    

• 
  Prolog - bu birinchi tartibli predikatlar mantig'ining kichik to'plami bo'lgan Hornning dis'yunkt matematik mantiqining predikat tiliga asoslangan mantiqiy dasturlash tili va tizimi. Prolog tli ko’p yillik izlanishlar mahsuli hisoblanadi. Prologning birinchi rasmiy versiyasi 1972- yil Fransiyaning Marsel universitetida Alan Kolmeroe tomonidan yaratilgan. Prolog tili deklarativ til hisoblanadi. Chunki ushbu dasturlash tilida yaratilgan dastur ketma-ketlik “harakati” ko’rinishida emas, balki o’zida ko’plab faktlar va qoidalar to’plami mujassam etgan holda, ushbu faktlarga asoslanib natijani qabul qiladi.
  

Prolog tili protsedurali dasturlashga nisbatan bir necha ustunliklarga ega. Masalan: ma’lum bir masalani yechishda Prologdagi dasturda protsedurali tilga nisbatan hattoki o’ndan bir qismicha kod yozish mumkin. Prolog deklarativ til bo’lganligi uchun takrorlashdagi xatolikni dastur boshida bartaraf etish mumkin.

19. 
    Prolog tilida faktlar qanday tartibda bayon qilinadi. Misollar keltiring.
    

• 
  Prologdagi faktlar aniq qiymatlar bilan mantiqiy predikatlar bilan tavsiflanadi. Prolog bilim bazalaridagi faktlar aniq ma'lumotni (bilimlarni) ifodalaydi. Prolog tilidagi umumlashtirilgan axborot va bilimlar mantiqiy xulosa chiqarish qoidalari (ta'riflari) va aniq faktlar va umumlashtirilgan ma'lumotlar bo'yicha bunday xulosa chiqarish qoidalari (ta'riflari) bilan belgilanadi. Bo'sh tanasi bo'lgan gaplar faktlar deyiladi. Faktga misol:
  

Mushuk (Ivan).
Bu fakt qoidaga teng:
Mushuk (Ivan): - TO'G'RI.

20. 
    Prolog tilida qoidalar qanday tartibda bayon qilinadi. Misollar keltiring.
    

• 
  Prologdagi qoidalar mantiqiy xulosalar va mantiqiy shartlar ro'yxati bilan xulosa qilish qoidalari shaklida yoziladi. Sof Prologda jumlalar Horn bandlari bilan cheklangan: