Logtalk

צילום מסך תוכנה:
Logtalk
פרטי תוכנה:
גרסה: 3.03.0 מעודכן
טען תאריך: 11 Mar 16
מפתחים: Paulo Moura
רשיון: ללא תשלום
פופולריות: 24

Rating: nan/5 (Total Votes: 0)

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

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

על גבי אלה, להוסיף תהליך התקנה קל עדכוני תאימות מהדר פרולוג.

זה עושה Logtalk טובה יותר, מתאימה יותר אלטרנטיבת הפרולוג ב מודרני AI ובלשנות מחשב תרחישים, שפה רב-הפרדיגמה הרבה יותר חזקה, מתאימים מונחת אירוע ברמה הגבוהה multi-threading תכנות.

תחביר הנכון לעכשיו Logtalk מרחיב תחביר פרולוג תקן ואתה יכול לרוץ Logtalk על מהדרי הפרולוג הבאים:

B-פרולוג

CxProlog

Eclipse

גנו פרולוג

Lean פרולוג

Qu-פרולוג

SICStus פרולוג

SWI פרולוג

XSB

יאפ

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

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

מה חדש בגירסה 3.02.2:

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

מה חדש בגירסה 3.02.1:

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

מה חדש בגירסה 3.00.4:

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

מה חדש בגירסה 3.00.2:

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

מה חדש בגירסה 3.00.1:

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

מה חדש בגירסה 2.44.1:

  • תיקון באג אוסף של meta_non_terminal / 1 הוראה שבו רק יהיה מעובד כראוי מטא-הטיעון הראשון.
  • עדכון קובץ config Eclipse כדי לזהות כאשר המחשב מופעל באמצעות Windows 64 סיביות מערכות ולהתעלם שאינו נשוא ולא מפעיל יצוא כאשר מראש עיבוד lib / 1 הנחיות.
  • עדכון במסגרת הבדיקה היחידה להדפיס יותר הודעות אינפורמטיביות עבור בדיקות יחידות נכשלו.
  • נוסף הנשוא לפצל / 4 (עבור פיצול רשימה לתוך sublists עם אורך נתון) & quot; listp & quot ;, & quot; רשימה & quot ;, ו & quot; difflist & quot; גופי ספרייה.
  • עידכון & quot; סמ"ק & quot; למשל עם הגדרת הקליפה / 2 הנשוא עבור CxProlog.
  • שינה את שמות האובייקטים & quot; המיל & quot; לדוגמא, כדי למנוע ניגוד שם בזמן הרצת הבדיקות היחידות למשל.
  • תיקון באג ב- Windows Installer שמנעו זיהוי של גרסאות סיביות 64 יאפ. הודות סטפן Ipatov עבור דיווח הבאג.

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

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

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

  • תיקון באג המטפל ריצה מהדר Logtalk שם היא לא הצליחה הידור מזהה ישות פנימית כאשר זורקי חריגי קיום ישות.
  • עדכון קובץ config פרולוג Lean, הוספת מדד / 1 הנחיות עבור חלק פרדיקטים הדינמי שמוצג בטבלאות ריצת Logtalk הפנימית.
  • עודכן קבצי אינטגרצית SWI-הפרולוג כדי לבדוק את הזמינות של הוראת המדד / 1, אשר לא מומלצות לשימוש על ידי תמיכת SWI-פרולוג הניסוי החדש עבור just-in-פעמי לאינדקס רב-טיעון.
  • מוסף פרדיקטים 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.2:

  • אופטימלי העיבוד של הצהרות מפעילות כאשר הרכב קבצי מקור באופן דינמי יצירת גופים חדשים.
  • עודכן המהדר Logtalk להשתמש & quot; מודולים & quot; דגל מהדר כאשר בודק תמיכת מודול פרולוג, ובכך למנוע בעיות הידור עם מהדרים עורפי פרולוג שאינו תומכות מערכת מודול אבל עדיין מגדיר (:). / 2 כמבנה מלא מובנית או נשוא
  • תמיכה הוסרה עבור & quot; startup_message & quot; דגל & quot מהדר; דגלים (קומפקטי) & quot; ו & quot; דגלים (מפורט) & quot; ערכים, הוחלפו על ידי ערך יחיד, & quot; דגלים & quot ;, אשר תואם את הישן & quot; דגלים (קומפקטי) & quot; ערך.
  • תיקון באג בעת שימוש op / 3 הנחיות עם create_protocol / 3, create_object / 4, ו create_category / 4 מובנה פרדיקטים שבו הצהרות המפעיל המקומיות תהיינה גלויות מחוץ הישויות החדשות.
  • תיקון באג שבו תיווצר ישות דינמית חדשה בזמן ריצה שיגדיר פרדיקט דינמי הנהלת חשבונות כבר לא בשימוש כי לא יבוטל כאשר הישות הוא בוטל.
  • תיקון באג מהדר שם & quot; סופר & quot; קורא מתוך אובייקט שרק instantiates עצמו ואינו מתמחה כל אובייקט ייזרק חריג במקום כושל.
  • עידכון & quot; אמות מידה & quot; דוגמא על מנת להגן מפני חריגות בחשבון בעת ​​חישוב המספר הכולל של שיחות לשנייה עבור כל בדיקה. הקטין את מספר חזרות benchmark מבחן בזמן הרצת הבדיקות היחידות להימנע פעמים מחשוב ממושכות עם מהדרים עורפיים פרולוג איטי.

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

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

מה חדש בגירסה 2.43.0:.

  • נוספה תמיכה ניסיונית עבור Lean פרולוג
  • הוסר הגבלת מהדר Logtalk שאלצה בלתי רציפות / 1 ודינמי / 1 הנחיות להקדים שיחות אל פרדיקטים הכריז.
  • שיפור הדו"ח מהדר Logtalk של שיחות misspelt לבעלי זכויות שאינן מקנות מסופי כללי דקדוק.
  • אפשר השימוש:. / 1 ​​שליטה לבנות על הגוף של כללי דקדוק
  • כאשר באגים הודעות המפורטים שימושים / 2 הנחיות, ההודעה מודפסת כעת מוסמך במרומז כמו בקוד הפתוח שנכתב על המשתמש.
  • ששינו את פרדיקטים הפנימי המשמש ביישום המובנה פרדיקטים רב השחלה כדי להקל על אינטגרציה עם כלי איתור הבאגים ברמה גבוהה הדורשים הידור של קוד פרולוג שנוצר.
  • תיקון באג תמיכת הספרייה עבור בדיקות יחידות, & quot;. Lgtunit & quot ;, שבו בדיקות חריגות הסכים לקבל כל טווח למעט כפי העומדות על מפרטי הבדיקה היחידה
  • עידכון & quot; סמ"ק & quot; למשל עם תיקוני באגים ושיפורים עבור Eclipse שנתרם על ידי יואכים Schimpf, עם תיקון באג ליישום SWI-הפרולוג של נשוא expand_path / 2 (כתוצאה משינויים האחרונים אל SWI-פרולוג absolute_file_name / 3 מובנה נשוא), ועם הגדרה הנשואה command_line_arguments / 1 עבור B-פרולוג.
  • עידכון & quot; coinduction & quot; למשל, הוסיף כמה דוגמאות בודדות יותר.
  • עידכון & quot; xml_parser & quot; תרומה כדי לעקוף בעיות ניידות עם גנו פרולוג.
  • תקן באג כמה תסריטים פגז שם & quot; # / bin / bash & quot; שימש במקום & quot; #! / bin / bash & quot ;. הודות Yiorgos Adamopoulos עבור דיווח הבאג.
  • עודכן המנון ההתקנה של Windows GUI סקריפט ההתקנה על מנת לאפשר התקנה מלאה על ידי למשתמשים שאינם מנהלי מערכת.
  • תמיכת צביעת תחביר נוספת עבור הוראת ISO הפרולוג כוללת / 1 לכל עורכי טקסט הנתמכים סימון תחביר.
  • תיקון כמה באגים בכרטיסייה הזאת מפעילה את קטעי gedit Logtalk שמנעו את השימוש בהם.
  • שונה בחזרה באמצעות XEP במקום FOP בעת יצירת גרסאות PDF של מדריכים למשתמש והפניה כמו FOP מקצץ את התוכן של חלק מהדפים.

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

  • הוספת entity_prefix / 2 נשוא ושני סטים של פרדיקטים השירות, decompile_predicate_heads / 2-4 decompile_predicate_indicators / 2-4, אל & quot; logtalk & quot; מובנית אובייקט. סימנה את decompile_predicate_head / 4 ו decompile_predicate_indicator / 4 כמו מומלצת לשימוש.
  • נוספה תמיכה עבור שמירה על מידע היקף עבור מפעילים הכריזה באמצעות הנחיות היקף בזמן הידור. מידע נוסף על ישות הכריז מפעילים אל XML מתעדי קבצים. עודכן טקסט, PDF, ו- (X) סקריפטים המרת HTML להדפיס מידע מפעיל.
  • יישומי מספר אופטימיזציות ברמה נמוכה כדי המהדר Logtalk / ריצה.
  • הועבר פרדיקטים הפנימיים לבנות ולגשת בהקשר הביצוע הנשוא מהמהדר לקבצי config הפרולוג כדי לתמוך כוונון ביצועים בסדר כי הוא פרולוג מהדר תלוי.
  • עודכן יישום הנשוא רב השחלה מובנה הליכי / 1 על מנת להשתמש מיטוב הביצועים קטן המבוסס על term_variables / 2 מובנה הנשוא שהוצע על ידי טימון ואן Overveldt. אופטימיזציה זה נועד להפחית עותק ולאיחוד מיותר של תנאים. בנוסף, להחליף את השימוש של setup_call_cleanup / 3 הנשוא מובנה עם הנשוא לתפוס / 3 מובנה ידי פישוט הטיפול הן האשכולות אדון ועבד, אשר גם משפר את הביצועים.
  • תיקון באג ביישום נשוא ההליכים / 1 רבת השחלה המובנהית שבם יקלו על ידי המשתמש לקבוע יעדים עצמאיים כאשר מנסים להשתמש עצמאי-הקבלה תביא אשכולות זומבי.
  • תנאי חריג אינפורמטיבי יותר כאשר מנסים להכריז על נשוא מסונכרן כמו דינמי או נשוא דינמי כמו מסונכרן.
  • עדכון הקובץ config XSB כדי לתמוך אוסף של מודולים כאובייקטים. נוסף הגדרה הנשואה חסר setup_call_catcher_cleanup / 4 המובנהית. XSB 3.3 (או גירסה מתקדמת יותר) נדרש כעת עבור תאימות עם Logtalk.
  • עדכון קובץ config SWI-הפרולוג על מנת לספק תמיכה מוגבלת עבור arithmetic_function / 1 הוראת הקניינית (פונקציות אריתמטיות לקמפל כמו שלנו בעולם במקום כמו מקומי לאובייקטים או קטגוריות הגדרתן).
  • עדכון הקובץ config יאפ כדי להתעלם style_check / 1 ההוראה לפרש את yap_flag / 2 הוראה בתור set_prolog_flag / 2 ההנחיה.
  • לשנות את ברירת המחדל מעבד XSL-FO (השתמשו כדי ליצור את גרסאות PDF של מדריכים למשתמש והפניה) מ XEP כדי FOP.
  • עידכון & quot; xml_parser & quot; תרומה כדי לעקוף בעיות ניידות עם Qu-פרולוג, SICStus פרולוג, ו XSB.
  • עידכון & quot; קידודים & quot; למשל על מנת להבטיח כי אין רווחים לפני הוראת הקידוד / 1.
  • עידכון & quot; attvars & quot; למשל על מנת לתמוך ב-שפת פרולוג והיבטים XSB. כמו כן נוספה תמיכה באמצעות משתנים לייחס בתוך אובייקטים Logtalk פרמטרית וקטגוריות פרמטרית. תודה ליאן Wielemaker, vator סנטוס קוסטה, בארט Demoen משוב והצעות ליישום.
  • עידכון & quot; profilers & quot; למשל עם תמיכה ראשונית כדי שהשינויים פרופיל ביצוע בגרסה 4.2 SICStus פרולוג.
  • עדכון & quot; ההרחבה & quot; למשל עם דוגמת קוד יותר על איך לשלב term- והגדרות מטרה רחבה מעצמי ווים שונים.
  • עידכון & quot; coinduction & quot; למשל, הוספת נשוא coinductive ניסיוני keysort / 2. תודה ליאן Burse על ההצעה.
  • עידכון & quot; tak & quot; multi-threading דוגמא שבה חתך חסר יביא מתיש את הערימה המקומית במהירות בעת שימוש SWI-פרולוג בשל יצירת מספר גדול מאוד של נקודות בחירה מיותרות.
  • עידכון & quot; mtbatch & quot; רב השחלה למשל על מנת לספק בהשוואות מורחבת של & quot; tak & quot; למשל.
  • עודכן portfile MacPorts ואת התסריט שמעדכן אותו כדי להסיר את החישוב של בדיקת MD5, אשר מופסקת על ידי MacPorts.
  • עודכן הגדרת מנון GUI Windows Installer סקריפט כדי לעקוף באג על מתקיני SWI-פרולוג Windows שבו הליך ההסרה מצליח למחוק את מפתחות SWI-הפרולוג מהרישום של Windows.

מה חדש בגירסה 2.42.3:

  • אפשר פרדיקטים דינמי הכריז לקטגוריה להיקרא ב & quot; זה & quot; מתוך הקטגוריה. בגרסאות קודמות, שיחות כאלה היו לגרום שגיאה ההידור אמת, מכריח פרדיקטים אלה להיקרא ב & quot; עצמי & quot; (באמצעות הודעה :: / 1 שליחת מבנה השליטה).
  • תמיכה מהדר נוסף Logtalk לראשים מראש הידור סעיף (באמצעות {} / 1 מבנה השליטה). תכונה זו היא בעיקר שימושית כאשר משתמשים בפקודה מנגנון הרחבת טווח.
  • תיקון באג על קוד מפשטת הסעיפים הנשואים שנוצרו על ידי האוסף של כללי דקדוק. הקוד אמור לולאה כאשר ככלל דקדוק הכיל-משתנה מטא, אשר מהדר Logtalk צריך (אבל כרגע לא) דו"ח כבלתי חוקי (השיחה / 1 בקרת המבנה אמור לשמש במקום על המקרה הזה).
  • פשוט האוספת של שיחות בהקשר של פסאודו-אובייקט & quot; משתמש & quot;.
  • נוסף פקודה הבאגים & quot; p & quot; אל הבאגים המובנים Logtalk. הדפסים פקודים זו המטרה הנוכחית באמצעות נשוא ההדפסה / 1 כאשר הדבר אפשרי. שמם את הפקודה הבאגים & quot; ש & quot; ל & quot; ש & quot ;. תוקן באג שבו את הפקודה הבאגים & quot; w & quot; לא יוכר. שינה את הפקודה הבאגים & quot; ד & quot; לצטט במונחים בעת הצורך.
  • נוסף יישום חלקי של נשוא ISO פרולוג predicate_property / 2 לקובץ config Eclipse.
  • עדכון קובץ config SWI-הפרולוג כדי להסיר את ההכרזה השגויה של מטא-פרדיקטים ספריית dde_register_service / 2, זמן / 1, וכאשר / 2 מובנית מטא-פרדיקטים.
  • אפלייד תיקון באג אל & quot; דגלים & quot; תרומתו לרשות על ידי היוצר שלה, Theofrastos Mantadelis. לעקיפת הבעיה בעיית תאימות עם גנו פרולוג.
  • נוסף memberchk / 2 נשוא לספרייה & quot; setp & quot; פרוטוקול & quot; להגדיר & quot; לְהִתְנַגֵד. פרדיקטים נוסף is_control / 1, is_newline / 1, ו is_end_of_line / 1 לספרייה & quot; characterp & quot; ו & quot; אופי & quot; גופים.
  • נוסף דוגמא ניסיון של שימוש במשתנים לייחס בתוך Logtalk אובייקטים וקטגוריות. כיום מחייב שימוש יאפ או SWI-פרולוג כמו המהדר הפרולוג העורפי.
  • נוספה תמיכה indexicals אל & quot; אילוצים / sicstus & quot; למשל.
  • הרחבה & quot; נציגים & quot; למשל עם יישום מדגם של מאציל באמצעות חפץ פרמטרית.
  • הרחבה & quot; dynpred & quot; לדוגמא, כדי להדגים כיצד להגדיר פרדיקטים בקטגוריה המטפלים פרדיקטים דינמיים בהקשר של & quot; זה & quot; ובהקשר של & quot; עצמי & quot;.
  • נוסף wall_time / 1 נשוא אל & quot; סמ"ק & quot; למשל.
  • עודכן הדגשת תחביר קבצי בדיקה, הוספה חסרה נכונה / 0 ולהיכשל / 0 בונת שליטה.

מה חדש בגירסה 2.42.2:

  • עודכן המהדר Logtalk על מנת לאפשר בדיקת נכסים נשואים מודול ללא צורך לייבא את פרדיקטים לתוך & quot; משתמש & quot; (שים לב, עם זאת, כי מודול חייב עדיין להיות טעון לפני האוסף של קבצי מקור קוראים פרדיקטים מודול).
  • עודכן מהדר Logtalk כדי לבדוק לקמפל-זמן מופעי טיעוני סגירת תורן / 2-N מטרות שגיאות תכנות נפוצות.
  • עודכן מהדר Logtalk כדי ליצור אזהרות לביטויים למבדה עם משתנים שאינם הכריזו גם כמשתנים בחינם או פרמטרים למבדה או עם משתנים מוכרזים כמו בשני משתנים חינם ופרמטרים למבדה. תודה ליאן Burse להצעת בדיקות שפיות אלה.
  • עודכן הריצה Logtalk כדי לתמוך באמצעות התיבה & # x3c; & # x3c; / 2 שליטה לבנות ב הסגר מטא-טיעוני מטא-פרדיקטים
  • .
  • נוספה תמיכה עבור עריכת שיחות ביטוי למבדה חינם / מטרה (על ידי יצירה אוטומטית נשוא עזר במידת האפשר).
  • נוסף compile_aux_clauses / 1 שיטת ציבור, מבוססת על נשוא עם אותו שם SWI-הפרולוג, כדי מובנה אובייקט & quot; logtalk & quot ;. שיטה זו נקראת בדרך כלל מן goal_expansion / 2 ווים כדי לקמפל סעיפים עזרו שנוצרו לתמיכת מטרה מורחבת.
  • נוסף העל-הנשוא להתעלם / 1, מיושם על ידי כמה מהדרי פרולוג בתור נשוא מובנית, כמו Logtalk מובנה בשיטה.
  • עדכון הקובץ config SWI-פרולוג כדי למנוע אוטומטי הטעינה של ספריות מודול כאשר שאילתת מאפייני הנשוא מ Logtalk.
  • עודכן Qu-הפרולוג, SICStus הפרולוג, וקבצי config XSB כדי להעמיד לרשות הנשואה term_variables / 2 בתור נשוא מובנה ISO.
  • עודכן סקריפטים אינטגרציה Qu-פרולוג כדי להכפיל את ערך גודל ערימה עבור עריכת Logtalk קומפיילר / ריצה, לפתרון התרסקות ההפעלה.
  • שוחזר MacOS X הפקודה קובץ עבור גנו פרולוג (עברה מן & quot; סקריפטים / MacOSX / command_files / נתמך & quot; תיקייה).
  • מוסף פרדיקטים findall_member / 4-5 לאובייקט הספרייה & quot; meta & quot; (מבוסס על הצעת ספריית פרולוג הטיוטה של ​​ריצ'רד אוקיף). הוסר הכרזה והגדרה של פרדיקטים callable / 1 ולהתעלם / 1 מגופי הספרייה & quot; metap & quot; ו & quot; meta & quot; (Callable / 1 הוא נשוא מובנית בכל מהדרי הפרולוג הנתמכים; להתעלם / 1 הוא כעת איש Logtalk מובנה בשיטה)
  • .
  • נוסף אובייקט ספרייה, & quot; meta_compiler & quot ;, שיכול לשמש כאובייקט וו להרחיב שיחות אל מטא-פרדיקטים מוגדרים באובייקט הספרייה & quot; meta & quot; על מנת למנוע את ההוצאות להתקשרות מטא. באותם מקרים שבם שיחת מטא-הנשוא לא יכולה להיות מותאמת, הגדרת ברירת המחדל על & quot; meta & quot; האובייקט משמש. באמצעות בונה שליטה טיעוני meta הוא לא (עדיין) לא נתמך. תוצרת בעיבוד.
  • נוסף פרוטוקול, & quot; loggingp & quot ;, והקטגוריה ואובייקט מימושים, & quot; רישום & quot; ו & quot;. לוגר & quot ;, להכריז והגדרת פונקציונליות בסיסית עבור לרשום אירועים לקבצים לספרייה
  • נוסף פרוטוקול, & quot; intervalp & quot ;, ו אובייקט, & quot; מרווח & quot ;, להכריז והגדרת יחסי מרווח זמניים בסיסיים לספרייה (המבוסס על עבודת ג'יימס פ אלן מרווח האלגברה)
  • .
  • נוסף בקטגורית יישום בשם מונה שלם, & quot;. מונה & quot ;, לספרייה
  • נוסף פרדיקטים proper_prefix / 2 ו proper_suffix / 2 על הגופים הספרייה & quot; listp & quot ;, & quot; רשימה & quot ;, ו & quot; difflist & quot;.
  • נוסף הנשוא לשרבב / 2 לאובייקט הספרייה & quot; זוגות & quot;.
  • נוסף שני פסאודו דוגמאות למטרות בדיקה, & quot; lambdas_compiled & quot; ו & quot; metapredicates_compiled & quot ;, העושים שימוש של אובייקט הספרייה החדש
  • & quot; meta_compiler & quot;.
  • עדכון & quot; ההרחבה & quot; לדוגמא, כדי להדגים איך להגדיר לשלב עצמי וו.
  • נוספה תמיכה באמצעות חבילת SyntaxHighlighter (גרסה 3.0.83 ואילך) על ידי אלכס Gorbatchev עם קוד המקור Logtalk.
  • נוסף צביעת תחביר החסרה של אחר / 0 הוראת הידור מותנית לתמיכת הסימון גנה מקור-שיא.
  • נוסף הערה על תמיכת עריכת טקסט Logtalk נגישה עורך MacOS X Kod הטקסט החופשי.
  • תמיכה צביעה תחביר נוסף עבור חדש להתעלם / 1 מובנה בשיטה לכל עורכי טקסט הנתמכים סימון תחביר.

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

  • תמיכה נוספת מהדר Logtalk לאיתור ודיווח חסרי הנחיות / 1 נשוא דינמיים / 1 ו בלתי רציפה.
  • נוסף דגל מוך חדש, & quot; missing_directives & quot ;, עם ערך ברירת מחדל של & quot; אזהרה & quot ;, לכל קבצי config. דגל זה מאפשר הדפסה של אזהרות מהדר עבור חסר / 1 דינמית, רציפים / 1, ו multifile / 1 הנחיות נשואות.
  • נוספה תמיכה עבור אינדיקטורים למצב תבנית מטא-נשוא חדשים: (/) בקשנו סימון נשוא, [/] עבור ורשימת אינדיקאטורים נשואים, ו [0] עבור רשימת המטרות
  • .
  • תיקון באג מהדר Logtalk בעת בדיקת ראשים סעיף מטא-הנשוא לטעויות שבו & quot; :: & quot; מחוון מצב מטא-טיעון עדיין נידון להתפרש & quot; 0 & quot;.
  • תיקון באג בטיפול של סגרים (ב meta-שיחות) המשמשים לבניית שיחות לשלוט בונה או מובנה פרדיקטים אשר עלולה לגרום קורא כמה מטא-טיעונים בהקשר הלא נכון. הודות אולריך מנוימרקל עבור הדוגמה הממחישה ברשימת התפוצה SWI-פרולוג.
  • עודכן מהדר Logtalk כדי למנוע אזהרות הדפסה על חסר אזכור של & quot; ההרחבה & quot; ו & quot; ניטור & quot; מובנית פרוטוקולים כאשר הרכיבו מודולים כאובייקטים.
  • בוטלו השינויים בגירסה 2.39.2 שאיפשר פסאודו-אובייקט & quot; משתמש & quot; כמעט להכיל את ההגדרה של כל פרדיקטים המובנים הפרולוג. זה יכול להוביל לתוצאות שונות בהתאם מהדר הפרולוג העורפי, במיוחד כאשר קוראים-פרדיקטים מטא בהקשר של & quot; משתמש & quot;.
  • תיקון באג SWI-פרולוג & quot; swihooks.lgt & quot; קובץ שכתוצאה ממנה הודעת שגיאה מזויפת על דגל Logtalk חוקי בעת התייעצות קובץ פרולוג כאשר קיים קובץ מקור Logtalk עם אותו שם באותה הספרייה.
  • תמיכה חסרה עבור מובנית קניינית מטא-פרדיקטים אל B-הפרולוג, SICStus הפרולוג, SWI-הפרולוג, XSB וקבצי config יאפ.
  • עודכן SICStus פרולוג, SWI-פרולוג, וקבצים config יאפ כדי לעקוף את תבניות מטא-הנשוא עבור להתייעץ / 1 ו load_files / 2 מובנה פרדיקטים.
  • הוספת יישום map_reduce / 5 מטא-הנשוא לאובייקט הספרייה & quot; meta & quot;.
  • הוספת יישום command_line_arguments / 1 נשוא אל & quot; סמ"ק & quot; למשל.
  • עידכון & quot; lambdas & quot; ו & quot; metapredicates & quot; דוגמאות, הממחישות כיצד לחשב מספרי פיבונאצ'י באמצעות-נשוא מטא שמאל לקפל. עודכן & quot; metapredicates & quot; למשל עם דוגמא שימוש של-נשוא מטא map_reduce / 5.
  • עידכון & quot; problog & quot; למשל, הוספת תמיכה ראשונית עבור תחביר disjunctions המבואר החדש.
  • נוסף & quot; קסם & quot; אלמנט לקובץ פנטומימה מסוג Logtalk עבור מסד הנתונים פנטומימה-מידע ששותף freedesktop.org.

מה חדש בגירסה 2.42.0:.

  • הוספת יישום דגלים אובייקט מתמשך
  • נוסף זוג חדש של מובנה פרדיקטים, conforms_to_protocol / 2-3, יישום הסגירה היוצאת של יחס יישום פרוטוקול.
  • הוספת הוראה ניסיונית, ביאור / 1, לתמיכת אינטגרצית Logtalk עם שפות אחרות כגון ProbLog ו CHR.

















תוכנה דומה

Clojure
Clojure

24 May 16

AspectJ
AspectJ

6 Mar 16

Klass
Klass

28 Apr 16

Perl
Perl

18 Jul 16

תוכנות אחרות של יזם Paulo Moura

Logtalk
Logtalk

14 Apr 15

תגובות ל Logtalk

תגובות לא נמצא
להוסיף הערה
הפעל את התמונות!
חיפוש לפי קטגוריות