GNU Prolog رایگان Prolog کامپایلر با محدودیت حل بیش از متناهی حوزه طراحی و توسعه توسط دانیل دیاز. GNU Prolog قبول Prolog محدودیت برنامه ها و تولید بومی باینری (مانند شورای همکاری خلیج فارس می کند از یک C منبع). این اجرایی به دست آمده است و سپس به تنهایی.
اندازه این فایل اجرایی را می توان بسیار کوچک از GNU Prolog می توانید به لینک این کد بیشتر استفاده نشده ساخته شده است در predicates. اجرای GNU Prolog بسیار دلگرم کننده (قابل مقایسه با سیستم های تجاری). در کنار بومی-کد تلفیقی GNU Prolog ارائه می دهد کلاسیک تعاملی مترجم (در سطح بالا) با یک دیباگر.
این Prolog بخش مطابق با استاندارد ISO برای Prolog با بسیاری از افزونه های بسیار مفید در عمل (متغیرها با سیستم عامل رابط سوکت).GNU Prolog همچنین شامل کارآمد محدودیت solver بیش از محدود دامنه (FD). این باز می شود contraint منطق برنامه نویسی به کاربر ترکیب قدرت از محدودیت های برنامه نویسی به declarativity از منطق برنامه نویسی است.
ویژگی های اصلی:
- Prolog سیستم:
- مطابق با استاندارد ISO برای Prolog (اعداد ممیز شناور, جریان, پویا, کد).
- بسیاری از پسوند: متغیرها قطعی بند grammars (DCG) سوکت رابط کاربری, سیستم عامل, رابط کاربری
- بیش از 300 Prolog ساخته شده در predicates.
- Prolog دیباگر و سطح پایین وام debugger.
- خط ویرایش تاسیسات زیر تعاملی مترجم با اتمام در اتم است.
- قدرتمند دو طرفه رابط بین Prolog و C.
- کامپایلر:
- بومی-کد کامپایلر تولید به تنهایی قابل اجراست.
- ساده خط فرمان کامپایلر پذیرش طیف گسترده ای از فایل ها: Prolog, فایل, C, فایل, فایل های WAM,...
- مستقیم نسل از کد اسمبلی 15 بار سریع تر از wamcc شورای همکاری خلیج فارس است.
- بیشتر استفاده نشده ساخته شده است در predicates در ارتباط نیست (برای کاهش حجم قابل اجراست).
- وارد predicates (بومی-کد) به عنوان سریع به عنوان wamcc به طور متوسط.
- مشورت predicates (byte-code) 5 بار سریع تر از wamcc.
- محدودیت solver:
- FD متغیرها به خوبی یکپارچه Prolog محیط زیست (سازگاری کامل با Prolog متغیرها و اعداد صحیح). بدون نیاز به صورت صریح و روشن FD اظهارات.
- بسیار کارآمد FD solver (قابل مقایسه با تجاری حل کننده).
- در سطح بالا و محدودیت را می توان در شرایط ساده شکلهای هندسی اولیه.
- بسیاری از محدودیت های از پیش تعریف شده: حسابی محدودیت های بولی محدودیت های نمادین محدودیت های reified محدودیت های...
- چند از پیش تعریف شده شمارش ابتکارات است.
- کاربر می تواند تعریف جدید خود را در محدودیت.
- بیش از 50 FD ساخته شده است در محدودیت/predicates.
نظرات