Prolog (dasturlash tili)

Prolog (dasturlash tili)

Prolog - birinchi tartibli predikatlar mantiqining kichik to'plami bo'lgan Horn jumlalari matematik mantiqining predikat tiliga asoslangan mantiqiy dasturlash tili va tizimi. Til asosiy mexanizmlarning kichik to'plamiga, jumladan naqshlarni moslashtirish, ma'lumotlar tuzilmalarining daraxtga o'xshash ko'rinishlariga va orqaga qaytishga qaratilgan. Ob'ektlar (xususan, tuzilgan ob'ektlar) va ular o'rtasidagi munosabatlar ko'rib chiqiladigan muammolarni hal qilish uchun juda mos keladi. Prolog o'zining o'ziga xos xususiyatlariga ko'ra, sun'iy intellekt, hisoblash lingvistikasi va umuman noaniq dasturlash sohasida qo'llaniladi. Ba'zi hollarda, boshqa standart tillarda ramziy hisob-kitoblarni amalga oshirish tushunilishi qiyin bo'lgan katta hajmdagi kodni yaratishni talab qiladi, Prolog tilida bir xil algoritmlarni amalga oshirish esa osongina mos keladigan oddiy dasturni beradi. bir sahifa. Prolog - deklarativ dasturlash tili: dastur mantig'i munosabatlar nuqtai nazaridan ifodalanadi, faktlar va qoidalar sifatida ifodalanadi. Hisob-kitoblarni boshlash uchun mantiqiy dasturlash tizimi "to'g'ri" va "noto'g'ri" javoblarni ishlab chiqaradigan bilimlar bazasiga maxsus so'rov yuboriladi. Argument sifatida o'zgaruvchilar bilan umumlashtirilgan so'rovlar uchun yaratilgan Prolog tizimi umumlashtirilgan ma'lumotlar va xulosalar qoidalarining haqiqatini tasdiqlash uchun maxsus ma'lumotlarni chiqaradi. Boshqacha qilib aytadigan bo'lsak, predikat ixtiyoriy tabiat to'plamini mantiqiy qiymatlar to'plamiga (noto'g'ri, rost) moslashtiruvchi funktsiya sifatida belgilanishi mumkin. Prolog dasturining vazifasi berilgan maqsadli bayonot mavjud faktlar va qoidalarning natijasi ekanligini isbotlashdan iborat.

Rivojlanish

Tilning tarixi 1970-yillarga borib taqaladi. Deklarativ dasturlash tili bo'lgan Prolog dastur sifatida muammo yoki bilimlar bazalarining tavsifini oladi va mantiqiy xulosa chiqaradi, shuningdek, orqaga qaytish va birlashtirish bilan qidiruv mexanizmidan foydalangan holda muammolarni hal qilish yo'llarini izlaydi. Prologga bo'lgan qiziqish bir necha bor ko'tarildi va o'ldi, ishtiyoq o'z o'rnini qattiq rad etishga bo'ldi. Prolog tiliga kelajak tili sifatida qiziqish 1980-yillarda yapon milliy kompyuter dasturining beshinchi avlodini ishlab chiqish paytida, ishlab chiquvchilar Prolog yordamida yangi tamoyillarni shakllantirish mumkinligiga umid qilgan paytda yuqori darajada oshdi. yuqori intellekt darajasidagi kompyuterlarni yaratishga olib keladi. 1980-yillarda matematik mantiq elementlarini, mantiqiy dasturlash tamoyillarini va bilimlar bazalarini loyihalash va ekspert tizimlari modellarini oʻrganish uchun prolog tili bir qator sovet universitetlari va maktablarining informatika darsliklariga kiritilgan. Shu maqsadda Prologning rus tilidagi o'quv tarjimonlari IBM PC va bir qator Sovet maktab kompyuterlarida amalga oshirildi. Prologda faktlar aniq ma'noga ega bo'lgan mantiqiy predikatlar shaklida tasvirlanadi. Xulosa qilish qoidalari bilim bazalari va axborotni qayta ishlash tartib-qoidalari bo'yicha predikatlar ro'yxati shaklida xulosa chiqarish qoidalarining ta'rifi bilan mantiqiy predikatlar bilan tavsiflanadi. Hozirgi vaqtda Prolog, takroriy pessimistik prognozlarga qaramay, turli mamlakatlarda rivojlanishda davom etmoqda va yangi texnologiyalar va kontseptsiyalarni, shuningdek, imperativ dasturlash paradigmalarini o'z ichiga oladi. Xususan, tilni rivojlantirish yo'nalishlaridan biri (shu jumladan Rossiyada) aqlli agentlar kontseptsiyasini amalga oshiradi.

Kross-platforma

Prolog deyarli barcha ma'lum bo'lgan operatsion tizimlar (OT) va platformalar (jumladan, Java va .NET) uchun amalga oshiriladi. Operatsion tizimlarga quyidagilar kiradi: meynfreymlar uchun OS, butun Unix oilasi, Windows, mobil platformalar uchun OS.