• 6.3. Prolog deklarativ dasturlash tili
  • Язык программирования
  • Variantlarni tanlashning teng ehtimolini ta'minlash qiyinroq




    Download 36,54 Kb.
    bet5/6
    Sana24.01.2024
    Hajmi36,54 Kb.
    #144809
    1   2   3   4   5   6
    Bog'liq
    10,11-Лекция узб
    7-sinf 2-chorak test banki informatika, Aralash, Islom karimov nomidagi toshkent davlat texnika universiteti term, I bob. Depressiya turlari uning belgilari, sabablari va xususiy, 3-amaliy mashgulot (1), 4 Активларни идентификация қилиш, 7- amaliy ish, TERI VA ZAMBURUG, Dermatomikozlar, 6 shlyapa, jykjh, 5 ustun oddiy 5, 5 ustun oddiy 7, Gost 2023, Мустақил иш(МТ1)
    Variantlarni tanlashning teng ehtimolini ta'minlash qiyinroq.
    Bunday amalga oshirish imkoniyati SETL tili loyihasida eng jiddiy ko'rib chiqildi. Shunga o'xshash mexanizmlar Grow kabi o'yinlarni loyihalashga yo'naltirilgan tillarda qo'llaniladi, bu erda buyruqni ishga tushirish sharti sifatida ehtimollik ko'rsatilishi mumkin.



      • sun'iy intellekt vazifalari bilim bazalari va ekspert tizimlarida ishlatiladigan semantik tarmoqlar bilan ishlash ko'pincha формулируется в терминах фреймов-слотов (рамка-LISP tilidagi atom xususiyatlarining ro'yxatlari bilan ishlashga juda o'xshash bo'lgan slot ramkalar (ramka-bo'shliq) nuqtai nazaridan shakllantiriladiLisp. Har bir ob'ekt nomlangan xususiyatlar to'plami bilan tavsiflanadi, bu esa o'z navbatida har qanday ob'ekt bo'lishi mumkin. Shu tarzda taqdim etilgan kontseptual tizimni tahlil qilish odatda deterministik bo'lmagan uslubda tavsiflanadi.



    6.3. Prolog deklarativ dasturlash tili Prolog

    Prolog-bu sun'iy intellekt va kompyuter tilshunosligi muammolari bilan bog'liq bo'lgan eng mashhur umumiy maqsadli mantiqiy dasturlash tili. U birinchi darajali mantiqqa asoslanadi va an'anaviy dasturlash tillaridan farqli o'laroq, deklarativlikni birinchi o'ringa qo'yadi. Mantiqiy dastur faktlar va qoidalar sifatida taqdim etilgan munosabatlar nuqtai nazaridan ifodalanadi. Teoremalarning dalillarini avtomatlashtirish va ekspert tizimlarini, shu jumladan tabiiy tillar uchun lingvistik protsessorlarni ishlab chiqish uchun ishlatilgan. Mantiqiy dasturning bajarilishi munosabatlar tizimidagi so'rovga javob sifatida tushuniladi. Aloqalar va so'rovlar atamalar va bulutlardan qurilgan.




    Язык программированияProlog dasturlash tili 1972 yilda A. Kolmerauer tomonidan taklif qilingan. (Alain Colmerauer), tilning protsessual talqini R. Kovalski tomonidan amalgaoshirildiva 1973 yilda 1974 yilda nashr etilgan. 1977 yilda D. Uorren (Devid Uorren) kompilyatorining yaratilishi tufayli tilning amaliyligi keskin oshdi, bu LISP tilining samaradorligiga ramziy ishlov berish tezligini yaqinlashtirdi.



    Download 36,54 Kb.
    1   2   3   4   5   6




    Download 36,54 Kb.

    Bosh sahifa
    Aloqalar

        Bosh sahifa



    Variantlarni tanlashning teng ehtimolini ta'minlash qiyinroq

    Download 36,54 Kb.