GNU הפרולוג הוא מהדר פרולוג חינם עם אילוץ פתרון על תחומים סופיים. גנו פרולוג מקבל פרולוג עם תוכניות אילוץ ומייצר קבצים בינאריים מקומיים (כמו gcc עושה ממקור C). ההפעלה השיגה אז הוא עצמאי. הגודל של הפעלה זו יכול להיות קטן מאז GNU פרולוג יכול להימנע מקשר את הקוד של פרדיקטים מובנים שאינו בשימוש ביותר. ההופעות של גני פרולוג מעודדות מאוד (בדומה למערכות מסחריות). לצד אוסף ילידים-הקוד, גנו פרולוג מציע פרשן קלאסי (-רמה העליונה) עם הבאגים.
חלק הפרולוג תואם את תקן ISO לפרולוג עם סיומות רבות מאוד שימושיות בפרקטיקה (משתנה גלובלי, ממשק של מערכת הפעלה, ושקעים). גנו פרולוג כולל גם אילוץ יעיל פותר מעל סופי דומיינים (FD). זה פותח תכנות היגיון אילוץ למשתמש המשלב את הכח של תכנות אילוץ לdeclarativity של תכנות לוגי. תכונות כוללות תואמים את תקן ISO לפרולוג, מתקן עריכת קו מתחת למתורגמן האינטראקטיבי עם השלמה על אטומים, ממשק דו-כיוונית בין הפרולוג ו- C, מהדר יליד-קוד ייצור עומד הרצה לבד, מהדר של שורת הפקודה פשוטה לקבל מגוון רחב של קבצים, מוגדר מראש אילוצים:. אילוצי חשבון, אילוצים בוליאנית, אילוצים סמליים, ואילוצים מוחשיים, היוריסטיקה ספירה מוגדרת מראש, ומשתמש יכולים להגדיר המגבלות החדשות שלו
תגובות לא נמצא