גנו פרולוג קומפילר פרולוג חינם עם פתרון אילוצים על פני דומיינים סופיים
הורד עכשיו

גנו פרולוג דירוג וסיכום

גנו פרולוג תגים

גנו פרולוג תיאור

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

גנו פרולוג תוכנה קשורה