ΛProlog - ΛProlog

λProlog
ParadigmaMantiqiy dasturlash
LoyihalashtirilganDeyl Miller va Gopalan Nadatur
Birinchi paydo bo'ldi1987[1]
Matnni yozishqattiq yozilgan
LitsenziyaGNU umumiy jamoat litsenziyasi v3
Veb-saytwww.lix.politexnikasi.fr/ Labo/ Deyl.Miller/ lProlog/
Mayor amalga oshirish
Teyjus, ELPI
Ta'sirlangan
Prolog
Ta'sirlangan
Makam

λProlog, shuningdek yozilgan lambda Prolog, a mantiqiy dasturlash tili xususiyatli polimorfik yozuv, modulli dasturlash va yuqori darajadagi dasturlash. Ushbu kengaytmalar Prolog yuqori darajadagi irsiydan kelib chiqqan Harrop formulalari roProlog asoslarini oqlash uchun foydalaniladi. Yuqori darajadagi miqdoriy miqdor, shunchaki yozilgan λ-shartlar va yuqori darajadagi unifikatsiya λProlog-ga λ-daraxt sintaksisining yondashuvini olish uchun zarur bo'lgan asosiy yordamlarni beradi yuqori darajadagi mavhum sintaksis, dasturlash tilining bog'lanishiga ob'ekt darajasidagi bog'lanishlarni aks ettiradigan sintaksisni namoyish etishga yondashuv. ΛProlog dasturchilari bog'langan o'zgarmaydigan nomlar bilan muomala qilishlari shart emas: buning o'rniga turli deklarativ qurilmalar biriktiruvchi doiralar va ularning asoslari bilan ishlashga imkon beradi.

Tarix

1986 yildan beri roProlog ko'plab dasturlarni qabul qildi. 2013 yildan boshlab til va uning tatbiq etilishi hali ham faol rivojlanmoqda.

Abella teoremasi proverasi λProlog-ning deklarativ yadrosi haqidagi teoremalarni isbotlash uchun interaktiv muhitni ta'minlash uchun yaratilgan.

Shuningdek qarang

Adabiyotlar

  1. ^ "Tez-tez so'raladigan savollar: lambda Prologning qanday dasturlari mavjud?". www.lix.polytechnique.fr. Olingan 2019-12-16.

O'quv qo'llanmalari va matnlar

Tashqi havolalar

Amaliyotlar


  1. ^ Nadatur, Gopalan; Dastin Mitchell (1999). Tizim ta'rifi: Teyjus - lambda Prolog-ni kompilyator va abstrakt mashina asosida amalga oshirish. Avtomatlashtirilgan chegirma bo'yicha konferentsiya. LNAI. 1632. 287-291 betlar. doi:10.1007/3-540-48660-7_25. ISBN  978-3-540-66222-8.