Logtalk

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

תכונות :.

• הפרדה בין ממשק וביצוע:
• הנחיות Predicate (הצהרות) יכולות להיות כלולה בתוך פרוטוקולים (ממשקים), אשר יכול להיות מיושמים על ידי כל אובייקט.


• אובייקטים פרמטריים:

שמות
• אובייקט יכולים להיות מונחי תרכובת המכילים משתנים חופשיים שיכול לשמש לparametrize פרדיקטים אובייקט.


• תמיכה עבור שני המערכות המעמדיות ומבוסס אב טיפוס:
• ייתכן שיש לך, באותו היישום,.
מעמדית היררכיות (עם יחסי מופע והתמחות) והיררכיות המבוסס על אב טיפוס (עם יחסי ארכה)

• תמיכה עבור היררכיות אובייקט מרובות:
• אין צורך להיות מוגבל להיררכיה ארוכה יחידה נעוצה בכמה אובייקטים כלליים.

פרטי, מוגן, וירושה ציבורית:
• Logtalk תומך פרטי, מוגן, וירושת הציבור באופן דומה ל- C. יתר על כן, כל קשר ישות יכול להיות מוסמך באמצעות מילת מפתח היקף.


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

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

פרדיקטים אובייקט סטטי ודינאמי:
• כל אובייקט סטטי עשוי להכיל שני פרדיקטים סטטי ודינמיים.


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


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


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


• תמיכת Multi-ירושה:
• Logtalk תומך ריבוי ירושה של שני פרוטוקול ויישום. אובייקט יכול ליישם כמה פרוטוקולים ולהרחיב, מתמחה, או מופע כמה חפצים. סכסוכים רב-ירושה נפתרים במשתמע על ידי אלגוריתמי בדיקת Logtalk או באופן מפורש על ידי שימוש בהנחיות נשוא.

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


• אינטגרציה הדוקה עם פרולוג תקן ISO:
• Logtalk מיועד לאינטגרציה חלקה עם כל מהדר פרולוג שתואם באופן הדוק או כדלקמן פרולוג תקן ISO.

תואם עם רוב מהדרים פרולוג:
• ממשקי Logtalk עם מהדר פרולוג ספציפי באמצעות קובץ תצורה מינימאלי שהופך אותו תואם עם כמעט כל מהדר מודרני.

יצירה אוטומטית של קבצי XML תיעוד:
• Logtalk יוצר באופן אוטומטי קובץ תיעוד בפורמט XML עבור כל אובייקט, פרוטוקול, או קטגוריה הידור. המערכת כוללת את כל XSL ההכרחי קבצים (T) ותסריטים להמיר קבצים לתיעוד (X) HTML ו- PDF.
• Logtalk פועל על כמעט כל מחשב עם מהדר פרולוג (סביבת הפיתוח העיקרית היא G4 PowerBook Apple פועל MacOS X). הממשק בין Logtalk ומהדר פרולוג ספציפי מושגת באמצעות קובץ תצורה.
• קובץ זה מכיל כמה פרדיקטים Logtalk ספציפיים ויישומים עבור תקן ISO פרולוג פרדיקטים אינו זמין במהדר הפרולוג.


• בכתיבת Logtalk ניסיתי לעקוב סטנדרטי הפרולוג ISO בכל ההזדמנות אפשרית. יכולות הנדרשות על ידי Logtalk שאינם מוגדרים בחלק הראשון של תקן ISO הן:

גישה
• ללבסס נכסים (דינמי, סטטי, built_in):
• בתנאי שיש הפרולוג האהוב עליך את היכולות הללו שהוזכרו לעיל, מה שהופך את קובץ תצורה קל מאוד. חבילת Logtalk כבר כוללת למהדרי הפרולוג הנפוצים ביותר קבצי תצורה. לקבלת ביצועים מיטביים, Logtalk דורש כי מהדר הפרולוג תומך אינדקס הראשון-טיעון עבור שני קוד סטטי ודינמי.


• developement Logtalk ובדיקות מבוצעים כיום באמצעות מהדרים הבאים הפרולוג (לפי סדר הא"ב):
• GNU פרולוג 1.2.18
• SWI פרולוג 5.4.7
• יאפ 4.5.7
• בגלל זה, אלה הם כנראה הבחירה הטובה ביותר שלך להפעלת Logtalk (ובלבד שאתה חופשי להשתמש באחד מאלה מהדרים).


• בנוסף, Logtalk פועל עם שינויים קטנים או לא עם מהדרים הפרולוג הבאים (לפי סדר הא"ב):
• ALS פרולוג 3.1
• Amzi! פרולוג 6.22 ~ 7.x
• 8.x BinProlog ~ 10.x
• B-פרולוג 4.0, 5.0, 6.x
• 1.10p5 פרולוג CIAO
• Eclipse 5.5 ~ 5.8
• אם / 5.x הפרולוג
• JIProlog 3.0.1-2
• 5.1.2a K-הפרולוג
• LPA MacProlog32 1.25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• הפרולוג להרחיב 1.1b10
• PrologII 4.5
• QU-פרולוג 6.7
• קווינטוס פרולוג 3.3 ~ 3.5
• SICStus פרולוג 3.8 ~ 3.12.x
• XSB 2.6 ~ 2.7

מה חדש בהודעה זו:

• השתנה שליחת הודעת מנגנון לקרוא & quot; לפני & quot; מטפלי אירועים לפני ביצוע בדיקת השיטה. שינוי זה צריך להיות שום השפעה על קוד הקיים, אלא מאפשר כמה יישומים מעניינים (למשל נכשלים במקום לזרוק חריג כאשר הודעה אינה מובנת).
• טיפול בדגלי מהדר בין ערכי הגדרת דגל כאשר קומפילציה / טעינת קובץ ובעת השימוש בset_logtalk_flag / נשוא מובנה 2 יותר עקביים: בשני המקרים, הגדרה & quot; smart_compilation & quot; דגל על ​​תכבה את & quot; נקי & quot; דגל והגדרה & quot; נקי & quot; דגל על ​​תכבה את & quot; smart_compilation & quot; דגל. כמו כן, הגדרה & quot; debug & quot; דגל על ​​יכבה שני & quot; smart_compilation & quot; ו& quot; נקי & quot; דגלים.
• מאפשר לבנות שליטה לחתוך הרכה, (* - & gt;) / 2, כאשר היא נתמכת באופן מקורי על ידי המהדר הפרולוג העורפי, כדי לשמש בגוף של כללי דקדוק (לאחר הערה של דניאל דיאז תוך דיון GNU תמיכת פרולוג למבנה השליטה בחיתוך הרך).
• תוקן באג מהדר Logtalk כאשר & quot; source_data & quot; הדגל הוא על עם מהדרים פרולוג העורפיים שבו לא ניתן לאחזר את עמדתו של מונח קריאה.
• תוקן באג באוסף של ההוראה / 1 meta_non_terminal שבו רק מטא-הטיעון הראשון היה להיות מעובד בצורה נכונה.
• עדכון קובץ config הליקוי לזהות כאשר פועלים על Windows 64 מערכות ביטים ולהתעלם יצוא שאינו נשוא ואינו מפעיל כאשר lib / 1 הנחיות מראש עיבוד.
• עדכון מסגרת הבדיקה היחידה להדפיס הודעות אינפורמטיבי יותר לבדיקות יחידה נכשלו.
• נשוא נוסף לפצל / 4 (לפיצול רשימה לsublists באורך נתון) ל& quot; listp & quot ;, & quot; רשימה & quot ;, ו& quot; difflist & quot; גופי ספרייה.
• עדכון & quot; סמ"ק & quot; דוגמא עם הגדרה לפגז / 2 נשוא עבור CxProlog.
• שינה את שמותיהם של החפצים ב& quot; מיל & quot; דוגמא, כדי למנוע סכסוך שם בעת הפעלת מבחני דוגמא היחידה.
• תוקן באג בהתקנת Windows שמנעה זיהוי של יאפ 64 גרסאות ביטים. תודה לסטפן Ipatov לדיווח על באג.
• תוקן באג בהתקנת Windows שמנעה ממשתמשי התאמה אישית של ספריית ההתקנה. תודה לדניאל מונית לדיווח הבאג וגאווין למברט לאבחון החיידק.
• עדכון תסריט ההתקנה Windows לגילוי משופר של XSB ולברירת מחדל להתקנה רק את הקבצים לכל משתמש כאשר מנוהלים על ידי משתמש שאינו מנהל מערכת במחשב שבו Logtalk כבר מותקן.
• הוספת תמיכה בסיסית לLaTeX & quot; רישומים & quot; חבילה. הערות נוסף על & quot; טבע & quot; ו& quot; texmates & quot; חבילות LaTeX.
• הערות נוסף על עורך טקסט Textastic iPad.
• נוסף צביעה בסיסית תחביר ותמיכת קוד מתקפלת לעורך טקסט UltraEdit.
• עדכון Textmate צרור להשבית את תיקוני כניסה האוטומטיים הציגו בגרסת הפיתוח של Textmate 2.0.

מה חדש בגרסת 2.44.0:

• שינתה את הסמנטיקה של קטגוריות משלימים על מנת לאפשר תיקון שני הצהרות נשוא והגדרות נשוא של אובייקטים כהשלמה. המטרה זו מושגת על ידי הבטחה כי חיפושי הצהרת נשוא וההגדרה להתחיל בקטגוריות משלימות לפני מסתכל לתוך האובייקט עצמו או כהשלמה לגופים הקשורים אליה.
• עדכון מהדר Logtalk כדי ליצור התראה כאשר הקומפילציה קטגוריה משלימה לאובייקט כהשלמה שנערך עם תמיכה במשלימה קטגוריות כבויות.
• תוקן באג בעיבוד של מטה-שיחות לmeta-פרדיקטים בי קשר הקריאה היה להיות מוגדר כ & quot; זה & quot; במקום & quot של; שולח & quot; בכל פעם שמטה-טיעון היה אחד :: / 2, {} / 1,

מה חדש בגרסת 2.43.3:

• שינה את מהדר לקחת בחשבון את השימושים / 2 הוראה כאשר הרכבתי שיחות להשתקפות שיטות מובנים. שינוי זה מרחיב את הסמנטיקה של / 2 הוראת השימושים ומאפשר הגירה קלה יותר מיישומי פרולוג רגילים לLogtalk.
• עדכון יישום predicate_property / 2 השיטה מובנית, הוספת רכוש היקף / 1.
• עדכון מהדר Logtalk להוסיף מידע על שם קובץ מקור, ספריית קבצי מקור, ואפשרויות מהדר קובץ המקור לקבצי פרולוג שנוצרו. בגרסאות קודמות, מידע זה היה רשום רק בעת טעינת קובץ מקור. השינויים לפשט יישומי בניין שבו ספריות Logtalk הן הידור מראש וטעונות מראש.
• עדכון מהדר Logtalk כדי להדפיס את השם של אובייקט הוו המשמש באוסף של קבצי מקור כאשר & quot; וו & quot; דגל מהדר מוגדר.
• עדכון מובנה הבאגים על מנת להימנע מנקודתי בחירה מיותרות שנוצרו על ידי מהדרים פרולוג עורפיים שיחזרו בי / 1 יישום נכשל לנצל סמנטיקת עדכון הגיונית לבצע שיחות דטרמיניסטיות.
• תוקן באג במטפל הריצה מהדר Logtalk שבו נכשל בהידור מזהה ישות פנימית כאשר זורקים חריגים קיום ישות.
• עדכון קובץ config פרולוג Lean, הוסיף מדד / 1 הנחיות לחלק מפרדיקטים הדינמיים המשמשים את שולחנות הריצה Logtalk הפנימיים.
• עדכון קבצי האינטגרציה SWI-פרולוג כדי לבדוק את הזמינות של הוראת המדד / 1, שלא מומלצת לשימוש על ידי תמיכת SWI-הפרולוג הניסיוני החדשה לאינדקס רב-טיעון בדיוק בזמן.
• מוסף פרדיקטים subsequence / 4 (ליצירת subsequences של רשימה באורך נתון), להחליף / 4 (להחלפת אלמנטים ברשימה), וhamming_distance / 3 לספרייה & quot; listp & quot; ו& quot; רשימה & quot; ישויות.
• euclidean_norm נוסף / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, וscalar_product / 3 פרדיקטים לספרייה & quot; numberlistp & quot; ו& quot; numberlist & quot; ישויות.
• תוקן כמה באגים מטופשים בהגדרה & quot; האופי & quot; אובייקט ספריית פרדיקטים is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, וis_hex_digit / 1.
• עדכון הספרייה & quot; all_loader.lgt & quot; קובץ מטעין גם לטעון & quot; meta_compiler_loader.lgt & quot; קובץ מטעין.

מה חדש בגרסת 2.43.1:

• שינה את מהדר לקחת בחשבון את השימושים / 2 הוראה כאשר הרכבנו שיחות לשיטות מובנית באתר. שינוי זה מרחיב את הסמנטיקה של / 2 הוראת השימושים ומאפשר הגירה קלה יותר מיישומי פרולוג רגילים לLogtalk.
• הוספת תמיכה ניסיונית לשימוש בתבנית נשוא כטיעון להוראה / 1 coinductive. תבנית זו מאפשרת המפרט של שטיעונים הם משמעותיים להצלחת coinductive. בהתבסס על פונקציונליות דומה מצאה במטה-מתורגמן DRA של פליקס Kluzniak.
• .
תמיכה משופרת באגים פרדיקטים coinductive בעת השימוש בLogtalk מובנה הבאגים
• תמיכת coinduction הוסרה לCxProlog. הגרסה הנוכחית של מהדר זה חסר חתך רך-מובנה נשוא או מבנה שליטה, אשר כעת נדרש על ידי יישום coinduction הניסיוני.
• Lifted הגבלה ארוכת שנים שמנעה את הגדרת המשתמש של פרדיקטים מעטפת עבור / 3 וsetof / 3 מובנים בשיטות בכל פעם שטיעון המטרה עשוי להשתמש בכמת הקיומי ^ / 2.
bagof
• תמיכה נוסף עבור & quot; ^ & quot; specifier מטה-מטה-נשוא טיעון המצב שהוצע על ידי Jan Wielemaker ומצא בSWI-פרולוג 5.11.25. specifier מצב זה שימושי בעת הגדרת עטיפות ל/ 3 וsetof / 3 שיטות מובנים bagof בכל פעם שטיעון המטרה עשוי להשתמש בכמת הקיומי ^ / 2.
• נוסף & quot; prolog_compiler & quot; ו& quot; prolog_loader & quot; דגלי מהדר, המאפשרים העברת אופציות לעורפיות פרדיקטים מובנים מהדר הפרולוג שלקמפל לדיסק ולטעון דגל פרולוג (הידור). ערך ברירת המחדל עבור שני הדגלים הוא הרשימה הריקה.
• תוקן באג בעת עריכת שיחות לקנייני פרולוג מובנה פרדיקטים מטא בי מהדר Logtalk יכול לנסות לעבד את טיעוני מטא לא כמטרות. באג זה בא לידי ביטוי רק את עצמו עם כמה מהדרים פרולוג עורפיים כגון ליקוי.
• תוקן באג בעיבוד של הנחיות הידור מותנות.
• תוקן באג שמנע העברת כינוי / 3 הנחיות על שיחות לcreate_object / 4, create_category / 4, וcreate_protocol / 3 פרדיקטים מובנים.
• הוסר ממובנה באובייקט & quot; logtalk & quot; decompile_predicate_head / 4 וdecompile_predicate_indicator / 4 שיטות מיושנות.
• .
תמיכה הוסרה לmetapredicate / הוראת Logtalk הארוכה מיושנת 1
• תוקן באג ביצועים כאשר מטמון שיחות לפרדיקטים קטגוריה שבי את הערכים במטמון יכולים להיות יותר ספציפיים מהנחוץ בעבודה עם קטגוריות פרמטרית.
• משופר במטמון של & quot; סופר & quot; קורא מתוך אב טיפוס. בעבר, כל הערכים במטמון יהיו מתמחים בשווי של & quot; עצמי & quot; על מנת להתמודד כראוי עם מקרים המיוחדים שבו אובייקט הן יוצר מופע ומתמחה חפצים אחרים.
• עדכון מהדר Logtalk כדי להפעיל כל הצהרות מפעיל שנמצאו בהנחיות היקף נשוא במהלך האוסף של הישויות המכילות את ההנחיות.
• שיפור הביצועים של פרדיקטים coinductive בעת השימוש עורפיים מהדרים פרולוג כגון SICStus פרולוג שאינו מספקים את מבנה השליטה בחיתוך הרך אך מספקים לחתוך הרך מובנה meta-נשוא (אם / 3).
• תוקן באג שבי דו"ח מופרך של אזהרות אוסף / טעינה יכול להיות מודפס כאשר קובץ מקור נערך / עמוס בדגל & quot מהדר; דו"ח & quot; כבוי.
• נוסף & quot; streamvars & quot; אובייקט ספרייה, הנגזר מquot הקיים ו; assignvars & quot; קטגוריה ספרייה, הכוללת תמיכה בהוספה ואחזור מונחים (אשר עשוי להיות משתנה) מ& quot; זרם & quot; משתנה.
• עדכון & quot; coinduction & quot; דוגמא, מנצל את הוראת coinductive המשופרת / 1 והרחבת מספר דוגמאות בודדות שניתן להפעיל באמצעות SICStus פרולוג. הוסיף מודל בדיקת דוגמא, באמצעות coinduction, coroutining, ואילוצים, שנתרמו על ידי נאדה Saeedloei.
• עדכון & quot; metapredicates & quot; דוגמא עם קוד לדוגמא הממחישה כיצד להגדיר עטיפות ל/ 3 וsetof / 3 שיטות מובנים bagof כאשר מטא-הטיעון עשוי להכיל משתנים קיומיים מוסמכים.
• עדכון & quot; סמ"ק & quot; דוגמא, תיקון הגדרות נשוא במשך כמה מהדרים פרולוג עורפיים והוסיף כמה בדיקות יחידה בסיסיות.
• עדכון & quot; קידודים & quot; דוגמא עם תמיכה מוגבלת לפרולוג Lean.
• הוספת ערכים חסרים להוראה / 1 meta_non_terminal ועבור שיחת // N הלא מסוף ל& quot; עזרה & quot; דוגמא.
• נוסף מנתח עבור קבצי PDDL 3.0, שנתרמו על ידי רוברט Sasak.
• קוד נוסף מתקפל תמיכה לעורך טקסט SubEthaEdit. קוד נוסף מתקפל תמיכה בלוקים הידור מותנים לעורכי טקסט קייט, Vim, וTextmate.
• עדכון תסריטי אינטגרציה על מנת לטעון את נתיבי הספרייה להגיש לפני טעינת מהדר / הריצה Logtalk. שינוי זה נועד לפשט את הטעינה של קבצים בספרייה ודוגמא מהקבצים ההגדרות. בנוסף, גם לחפש את ספריית התקנת Logtalk ב$ HOME / share כאשר משתנה סביבת LOGTALKHOME אינו מוגדר. תודה לvator סנטוס קוסטה על ההצעה.
• עדכון ההתקנה Windows על מנת לתמוך בפרולוג Lean ולזהות יאפ 64 גרסאות ביטים.

מה חדש בגרסת 2.43.0