GNU Prolog (64-bit)

צילום מסך תוכנה:
GNU Prolog (64-bit)
פרטי תוכנה:
גרסה: 1.4.3
טען תאריך: 23 Jan 15
מפתחים: Daniel Diaz
רשיון: ללא תשלום
פופולריות: 731
גודל: 4677 Kb

Rating: 4.0/5 (Total Votes: 1)

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

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

מערכות הפעלה נתמכות

תוכנה דומה

תוכנות אחרות של יזם Daniel Diaz

תגובות ל GNU Prolog (64-bit)

תגובות לא נמצא
להוסיף הערה
הפעל את התמונות!