GNU Prolog (64-bit) 1.4.3

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