GNU Prolog (32-bit) 1.4.3

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

אחד היתרונות המשמעותיים ביותר של GNU Prolog הוא גודלו הקטן. מכיוון שתוכנה זו יכולה להימנע מקישור הקוד של רוב הפרדיקטים המובנים שאינם בשימוש, גודל קובץ ההפעלה יכול להיות קטן מאוד. זה הופך אותו לאידיאלי עבור מפתחים שרוצים ליצור יישומים קלים שאינם תופסים יותר מדי מקום במחשבי המשתמשים.

הביצועים של GNU Prolog גם מאוד מעודדים וניתנים להשוואה למערכות מסחריות. זה אומר שאתה יכול לסמוך על התוכנה הזו כדי לספק תוצאות מהירות ויעילות בכל פעם שאתה משתמש בה.

לצד הידור הקוד המקורי, GNU Prolog מציע מתורגמן קלאסי (רמה עליונה) עם מאתר באגים. המתורגמן מאפשר לך לבדוק את הקוד שלך באופן אינטראקטיבי ולפתור באגים בכל בעיה שמתעוררת במהלך הפיתוח.

החלק של Prolog תואם את תקן ISO עבור Prolog עם הרבה הרחבות שימושיות מאוד בפועל (משתנים גלובליים, ממשק מערכת הפעלה ושקעים). זה אומר שאתה יכול לסמוך על התוכנה הזו כדי לספק תוצאות אמינות בכל פעם שאתה משתמש בה.

GNU Prolog כולל גם פותר אילוצים יעיל מעל תחום סופי (FD). זה פותח למשתמש תכנות לוגיקה של אילוצים ומשלב את הכוח של תכנות אילוצים להצהרתיות של תכנות לוגי.

מאפיינים:

- תואם את תקן ISO עבור פרולוג

- מתקן לעריכת שורות תחת מתורגמן אינטראקטיבי עם השלמה על אטומים

- ממשק דו-כיווני בין פרולוג ל-C

- מהדר קוד מקורי המייצר קובצי הפעלה עצמאיים

- מהדר שורת פקודה פשוט המקבל קבצים שונים

- אילוצים מוגדרים מראש: אילוצים אריתמטיים, אילוצים בוליאניים, אילוצים סמליים, אילוצים מתוקנים.

- היוריסטיקה של ספירה מוגדרת מראש.

- אילוצים חדשים המוגדרים על ידי המשתמש

לסיכום:

אם אתה מחפש מהדר פרולוגים עוצמתי אך חינמי עם פתרון אילוצים על פני תחומים סופיים, אל תחפש רחוק יותר מאשר פרולוג GNU 32 סיביות! עם גודלה הקטן אך יכולות הביצועים המרשימות יחד עם ממשק משתמש אינטואיטיבי הופכים את התוכנית הזו למושלמת לא רק למתחילים אלא גם למתכנתים מנוסים כאחד!