GNU Prolog הוא חינם Prologlanguage מהדר עם אילוץ על פתרון סופי תחומים שפותחו על ידי דניאל דיאז. GNU Prolog מקבל Prologlanguage אילוץ תוכניות ומייצר יליד הקבצים הבינאריים (כמו gcc האם מן המקור C). המתקבל הפעלה אז הוא stand-alone.
הגודל של הפעלה זו יכול להיות די קטן מאז GNU Prolog יכול להימנע לקשר את קוד ביותר בשימוש מובנה predicates. ההופעות של GNU Prolog מעודדות מאוד (דומה המערכות מסחריות). ליד שפת אם-קוד הידור, GNU Prolog מציע קלאסית אינטראקטיבי מתרגם (ברמה העליונה) עם הבאגים.
את Prologlanguage חלק תואמת את תקן ISO עבור Prologlanguage עם הרבה הרחבות מאוד שימושי בפועל (משתנים גלובליים, מערכת הפעלה ממשק, ארובות,).GNU Prolog כולל גם יעיל אילוץ פותר נגמר סופית תחומים (FD). זה פותח contraint ההיגיון תכנות למשתמש המשלב את הכוח של אילוץ תכנות את declarativity של ההיגיון תכנות.
תכונות עיקריות:
- Prologlanguage מערכת:
- תואמת את תקן ISO עבור Prologlanguage (מספרי נקודה צפה, נחלים, דינמי, קוד).
- הרבה תוספים: משתנים גלובליים, מובהק סעיף grammars (DCG), ארובות, ממשק מערכת ההפעלה ממשק
- יותר מ 300 Prologlanguage מובנה predicates.
- Prologlanguage מאתר הבאגים ולא ברמה נמוכה WAM הבאגים.
- קו עריכה מתקן מתחת אינטראקטיבי מתרגם עם השלמה על האטומים.
- עוצמה דו-כיווני ממשק בין Prologlanguage ו-C.
- מהדר:
- מקורי-קוד מהדר הפקת לעמוד לבד הרצה.
- פשוטה של שורת הפקודה מהדר לקבל מגוון רחב של קבצים: Prologlanguage קבצים, קבצי C, WAM קבצים,...
ישיר - דור של קוד הרכבה 15 פעמים מהר יותר מאשר wamcc gcc.
- רוב בשימוש מובנה predicates אינם מקושרים (כדי להקטין את הגודל של קבצי הרצה).
- מלוקט predicates (מקורי-קוד) מהר ככל wamcc בממוצע.
- התייעץ predicates (byte-code) 5 פעמים מהר יותר מאשר wamcc.
- אילוץ פותר:
- FD משתנים משולבים היטב לתוך Prologlanguage הסביבה (תאימות מלאה עם Prologlanguage משתנים מספרים שלמים). אין צורך מפורש FD הצהרות.
- יעיל מאוד FD פותר (דומה מסחרי פותרי).
- רמה גבוהה של אילוצים יכול להיות מתואר במונחים של פשוט פרימיטיבים.
- הרבה מוגדרים מראש אילוצים: חשבון אילוצים, אילוצים בוליאניים, סמלי אילוצים, ומומחש אילוצים,...
- מספר מוגדר מראש ספירה אלגוריתמים.
- המשתמש יכול להגדיר החדש שלו אילוצים.
- יותר מ 50 FD מובנה אילוצים/predicates.
תגובות