| Versiya | 1.4.3 |
|---|---|
| Nashriyotchi | Daniel Diaz |
| Ishlab chiqarilish sanasi | 8-apr, 2013 |
| Qo'shilgan sana | 8-apr, 2013 |
| Os talablari | Windows, Windows 7 |
| Talablar | None |
| Jami yuklamalar | 812 |
| Narx | Free |
Tavsif
GNU Prolog - bu cheklangan domenlar ustidagi cheklovlarni echadigan bepul Prolog kompilyatori. GNU Prolog cheklash dasturlari bilan Prologni qabul qiladi va mahalliy ikkilik fayllarni ishlab chiqaradi (masalan, gcc C manbasidan). Olingan bajariladigan fayl keyinchalik mustaqil bo'ladi. Ushbu bajariladigan faylning o'lchami kichik bo'lishi mumkin, chunki GNU Prolog ko'pchilik foydalanilmagan o'rnatilgan predikatlar kodini bog'lashdan qochadi. GNU Prologning ishlashi juda dalda beruvchi (tijoriy tizimlar bilan solishtirish mumkin). Mahalliy kod kompilyatsiyasidan tashqari, GNU Prolog tuzatuvchiga ega klassik tarjimonni (yuqori darajadagi) taklif qiladi.
Prolog qismi amalda juda foydali (global o'zgaruvchilar, OT interfeysi va rozetkalar) ko'plab kengaytmalari bilan Prolog uchun ISO standartiga mos keladi. GNU Prolog shuningdek, cheklangan domenlar (FD) ustidan samarali cheklovlarni hal qiluvchi vositani ham o'z ichiga oladi. Bu cheklashli mantiqiy dasturlashni foydalanuvchiga mantiqiy dasturlashning deklarativligi bilan cheklovchi dasturlash kuchini birlashtirgan holda ochadi. Xususiyatlar orasida Prolog uchun ISO standartiga mos keladi, atomlarda toʻldiriladigan interaktiv tarjimon ostidagi satrlarni tahrirlash moslamasi, Prolog va C oʻrtasidagi ikki yoʻnalishli interfeys, mustaqil bajariladigan dasturlarni ishlab chiqaruvchi mahalliy kod kompilyatori, turli xil fayllarni qabul qiluvchi oddiy buyruq qatori kompilyatori, oldindan belgilangan. cheklovlar: arifmetik cheklovlar, mantiqiy cheklovlar, ramziy cheklovlar va aniqlangan cheklovlar, oldindan belgilangan sanab evristikasi va foydalanuvchi o'zining yangi cheklovlarini belgilashi mumkin.
