| גִרְסָה | 1.4.3 |
|---|---|
| מוֹצִיא לָאוֹר | Daniel Diaz |
| תאריך הוצאה | 8 באפר׳ 2013 |
| תאריך הוסף | 8 באפר׳ 2013 |
| דרישות Os | Windows, Windows 7 |
| דרישות | None |
| סה"כ הורדות | 1,943 |
| מחיר | Free |
תיאור
GNU Prolog הוא מהדר פרולוג בחינם עם פתרון אילוצים על פני תחומים סופיים. GNU Prolog מקבל Prolog עם תוכניות אילוצים ומייצר קבצים בינאריים מקוריים (כמו ש-gcc עושה ממקור C). קובץ ההפעלה שהושג הוא אז עצמאי. הגודל של קובץ ההפעלה הזה יכול להיות קטן מכיוון ש- GNU Prolog יכול להימנע מקישור הקוד של רוב הפרדיקטים המובנים שאינם בשימוש. הביצועים של GNU Prolog מעודדים מאוד (בהשוואה למערכות מסחריות). לצד הידור הקוד המקורי, GNU Prolog מציע מתורגמן קלאסי (רמה עליונה) עם מאתר באגים.
החלק של Prolog תואם את תקן ISO עבור Prolog עם הרבה הרחבות שימושיות מאוד בפועל (משתנים גלובליים, ממשק מערכת הפעלה ושקעים). GNU Prolog כולל גם פותר אילוצים יעיל מעל תחום סופי (FD). זה פותח למשתמש תכנות לוגיקה של אילוצים ומשלב את הכוח של תכנות אילוצים להצהרתיות של תכנות לוגי. התכונות כוללות תואם לתקן ISO עבור Prolog, מתקן לעריכת שורה תחת המתורגמן האינטראקטיבי עם השלמה על אטומים, ממשק דו-כיווני בין Prolog ו-C, מהדר קוד מקורי המייצר קובצי הפעלה עצמאיים, מהדר פשוט של שורת פקודה המקבל מגוון קבצים, מוגדר מראש אילוצים: אילוצים אריתמטיים, אילוצים בוליאניים, אילוצים סמליים ואילוצים מחודשים, היוריסטיקות ספירה מוגדרות מראש, והמשתמש יכול להגדיר אילוצים חדשים משלו.
