X-Prolog

xprolog‏

מידע על האפליקציה הזו

X-Prolog היא מערכת Prolog קלת משקל שנועדה להקל על התכנות ב-Prolog באנדרואיד. האפליקציה מריצה תוכניות Prolog בתצוגת טקסט, תצוגת אינטרנט או כשירות קשור לאפליקציית לקוח. לקוח לדוגמה זמין בכתובת https://github.com/xprolog/sample-client.

שים לב ש-Google Play מגביל את השימוש בהרשאת גישה לכל הקבצים באפליקציות הממוקדות ל-Android 11 ואילך. כדי להתקין את X-Prolog עם הרשאת גישה לכל קבצים, עיין בכתובת https://github.com/xprolog/xp/releases.

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

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

מונח הקשר הוא מונח קריאה בצורת context(Name, FileTypes, Priority) , כאשר Name הוא השם של נקודת הרחבה, FileTypes היא רשימה של סוגי קבצים מקובלים וPriority היא מספר שלם לא פחות מאפס, שמשמעותו משתנה בהתאם לנקודת ההרחבה.

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

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

קובץ נחשב לקובץ מקור אם קיים כלי אחד או יותר הבונה את הקובץ, ואולי הופך אותו לקובץ מקור אחר. מהדורה זו כוללת כלי בנייה יחיד, Compile, אשר מתרגם קובץ מקור של Prolog (.pl) לקובץ טעינה מהירה (.ql).

בעיות ידועות כוללות בדיקת מתרחש, תצוגת עדכון לוגי, משתנים מיוחסים בין היתר.

מה חדש?

Initial release