GNU پرولوگ یک کامپایلر Prolog با قانون آزاد با محدودیت حل بیش از دامنه محدود است. GNU پرولوگ قبول پرولوگ با برنامه های محدودیت و تولید اعداد باینری محلی (مانند شورای همکاری خلیج فارس می کند از یک منبع C). اجرایی به دست آمده است و سپس به تنهایی. اندازه این اجرایی می تواند کوچک از GNU پرولوگ می توانید جلوگیری از ارتباط کد استفاده نشده ترین ساخته شده است در محمولات. اجرای GNU پرولوگ بسیار دلگرم کننده (قابل مقایسه با سیستم های تجاری) می باشد. در کنار تدوین بومی کد، GNU پرولوگ ارائه می دهد یک مترجم کلاسیک (از بالا به سطح) با دیباگر.
بخش پرولوگ مطابق با استاندارد ISO برای پرولوگ با بسیاری از برنامه های افزودنی در عمل بسیار مفید (متغیرهای جهانی، رابط سیستم عامل، و سوکت). GNU پرولوگ نیز شامل محدودیت کارآمد حل بیش از دامنه محدود (FD). این برنامه منطق محدودیت باز می شود به کاربر ترکیب قدرت برنامه نویسی محدودیت به declarativity برنامه نویسی منطق. امکانات عبارتند از مطابق با استاندارد ISO برای پرولوگ، امکانات ویرایش خط زیر مفسر تعاملی با اتمام در اتم، رابط دو طرفه بین پرولوگ و C، بومی کد کامپایلر تولید به تنهایی اجرایی، ساده کامپایلر خط فرمان پذیرش انواع فایل، از پیش تعریف شده محدودیت:. محدودیت های حساب، محدودیت های بولی، محدودیت های نمادین، و محدودیت های شیء واره، فن آوری هوشمند شمارش از پیش تعریف شده، و کاربر می تواند محدودیت های جدید خود را تعریف
نظر یافت نشد