| نسخه | 1.4.3 |
|---|---|
| ناشر | Daniel Diaz |
| تاریخ انتشار | ۸ آوریل ۲۰۱۳ |
| تاریخ اضافه شده | ۸ آوریل ۲۰۱۳ |
| الزامات سیستم عامل | Windows, Windows 7 |
| الزامات | None |
| کل بارگیری ها | ۱٬۹۴۳ |
| قیمت | Free |
شرح
GNU Prolog یک کامپایلر رایگان Prolog با حل محدودیت در دامنه های محدود است. گنو پرولوگ Prolog را با برنامه های محدود می پذیرد و باینری های بومی تولید می کند (مانند gcc از منبع C). سپس فایل اجرایی بهدستآمده مستقل است. اندازه این فایل اجرایی میتواند کوچک باشد، زیرا GNU Prolog میتواند از پیوند دادن کد اکثر محمولات داخلی استفاده نشده اجتناب کند. عملکرد GNU Prolog بسیار دلگرم کننده است (قابل مقایسه با سیستم های تجاری). علاوه بر کامپایل کد بومی، GNU Prolog یک مفسر کلاسیک (سطح بالا) با یک دیباگر ارائه می دهد.
بخش Prolog با استاندارد ISO برای Prolog مطابقت دارد و بسیاری از پسوندها در عمل بسیار مفید هستند (متغیرهای جهانی، رابط سیستم عامل و سوکت ها). گنو پرولوگ همچنین شامل یک حل کننده محدودیت کارآمد بر روی دامنه های محدود (FD) می باشد. این برنامهنویسی منطقی محدودیت را به روی کاربر باز میکند و قدرت برنامهنویسی محدودیت را با بیانی بودن برنامهنویسی منطقی ترکیب میکند. ویژگیها شامل مطابقت با استاندارد ISO برای Prolog، تسهیلات ویرایش خط تحت مفسر تعاملی با تکمیل روی اتمها، رابط دو جهته بین Prolog و C، کامپایلر کد بومی تولید کنندههای اجرایی مستقل، کامپایلر خط فرمان ساده که انواع فایلها را میپذیرد، از پیش تعریف شده است. محدودیتها: محدودیتهای حسابی، محدودیتهای بولی، محدودیتهای نمادین، و محدودیتهای reified، اکتشافیهای شمارش از پیش تعریفشده، و کاربر میتواند محدودیتهای جدید خود را تعریف کند.
