GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-bit) kuchli va bepul Prolog kompilyatori bo'lib, cheklangan domenlarda cheklovlarni echishni taklif qiladi. Ushbu dastur murakkab dasturlarni osonlik bilan yaratishi kerak bo'lgan ishlab chiquvchilar uchun mo'ljallangan. GNU Prolog cheklash dasturlari bilan Prologni qabul qiladi va mahalliy ikkilik fayllarni ishlab chiqaradi, bu esa uni mustaqil va samarali qiladi.

GNU Prolog ning eng muhim afzalliklaridan biri uning ko'pgina foydalanilmagan o'rnatilgan predikatlar kodini bog'lashdan qochish qobiliyatidir, natijada bajariladigan o'lchamlar kichikroq bo'ladi. GNU Prolog ko'rsatkichlari juda dalda beruvchi, tijorat tizimlari bilan solishtirish mumkin.

Mahalliy kod kompilyatsiyasidan tashqari, GNU Prolog tuzatuvchiga ega klassik tarjimonni (yuqori darajadagi) taklif qiladi. Tarjimon interaktiv rejimda atomlarda yakunlangan qatorni tahrirlash imkonini beradi, bu esa ishlab chiquvchilarga o'z kodlarini disk raskadrovka qilishni osonlashtiradi.

Dasturiy ta'minot Prolog uchun ISO standartiga mos keladi, global o'zgaruvchilar, OS interfeysi va rozetkalar kabi amaliyotda juda foydali bo'lgan ko'plab kengaytmalar. Bu ishlab chiquvchilarga boshqa tizimlar bilan muammosiz o'zaro aloqada bo'ladigan murakkab dasturlarni yaratishni osonlashtiradi.

GNU Prolog shuningdek, cheklangan domenlar (FD) ustidan samarali cheklovlarni hal qiluvchi vositani ham o'z ichiga oladi. Bu cheklashli dasturlash kuchini mantiqiy dasturlashning deklarativligi bilan birlashtirib, foydalanuvchilarga cheklovli mantiqiy dasturlashni ochadi. Ushbu xususiyat yordamida foydalanuvchilar sintaksis xatolari yoki boshqa muammolar haqida tashvishlanmasdan o'z cheklovlarini osongina aniqlashlari mumkin.

Oldindan belgilangan cheklovlar qo'shish va ayirish kabi arifmetik cheklovlarni o'z ichiga oladi; VA/OR kabi mantiqiy cheklovlar; string moslashuvi kabi ramziy cheklovlar; mantiqiy shartlarni mantiqiy operatorlar yordamida ifodalash imkonini beruvchi aniqlangan cheklovlar; turli imkoniyatlarni muntazam ravishda o'rganib, tezda yechim topishga yordam beradigan oldindan belgilangan sanab o'tish evristikasi.

Foydalanuvchilar, shuningdek, turli xil fayllarni qabul qiluvchi GNU prologining buyruq qatori kompilyatori tomonidan taqdim etilgan oddiy buyruqlar yordamida o'zlarining yangi cheklovlarini belgilashlari mumkin. Bu o'z dasturining xatti-harakatlarini ko'proq nazorat qilishni xohlaydigan yoki oldindan belgilangan kutubxonalarda mavjud bo'lmagan maxsus funksiyalarga muhtoj bo'lgan ishlab chiquvchilar uchun osonlashtiradi.

Xulosa qilib aytadigan bo'lsak, agar siz sanoat standartlariga qat'iy rioya qilgan holda murakkab dasturlarni osongina yaratishga imkon beruvchi kuchli, ammo bepul vositani izlayotgan bo'lsangiz, GNU prologiga qarang!