גנו פרולוג (32 סיביות)

קבל פרולוג עם אילוצים ומלטפים מעל תחומים סופיים.
הורד עכשיו

גנו פרולוג (32 סיביות) דירוג וסיכום

פרסומת

  • Rating:
  • רישיון:
  • Free
  • מחיר:
  • Free
  • שם המפרסם:
  • By Daniel Diaz
  • אתר האינטרנט של המוציא לאור:
  • http://www.gprolog.org/
  • מערכות הפעלה:
  • Windows, Windows 7
  • דרישות נוספות:
  • None
  • גודל הקובץ:
  • 4.48MB
  • סך כל הורדות:
  • 812

גנו פרולוג (32 סיביות) תגים


גנו פרולוג (32 סיביות) תיאור

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


גנו פרולוג (32 סיביות) תוכנה קשורה

עלינו