Logtalk

קישורים ממומנים:
צילום מסך תוכנה:
Logtalk
פרטי תוכנה:
גרסה: 3.20 מעודכן
טען תאריך: 26 Oct 18
מפתחים: Logtalk
רשיון: ללא תשלום
פופולריות: 11
גודל: 4410 Kb

Rating: 4.0/5 (Total Votes: 4)

קישורים ממומנים:


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

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

* משופר: הימנע מהזהרה מזויפת של meta_predicate / 1` כאשר המטא-קריאה בפועל לא משתפת משתנים עם ראש סעיף.


* משופר: אפשר להשתמש בביטויים למבדה בכללי הדקדוק ללא צורך בעטיפת 'קריאה // 1`.


* תוקן: באגים אופטימיזציה באוסף של הסגירה meta- טיעון כאשר המטרה המתקבלת היא קריאה פרולוג מובנית פרדיקטים עקב שיבוץ של ההגדרה predicate המשתמש.


* תוקן: באג באופטימיזציה בהרכב של מטא-ויכוח של סגירה כאשר המטרה המתקבלת היא קריאה לבקרה של פרולוג `/ 2`.

מה חדש ב- גרסה 3.19:

* נוסף: תמיכה בהגדרת פרולוגים מובנים נוספים של פרולוג עבור מוך
בדיקות של מטרות כי הם תמיד נכון או שקר קבצי המתאם באמצעות
וו predicate '' $ lgt_candidate_tautology_or_falsehood_goal_hook '/ 1`.


* נוסף: אובייקט נכס `מודול` עבור אובייקטים הנובעים מתוך אוסף
של מודולים.


* נוספה: שגיאת נוחות לזרוק מובנה שיטות `syntax_error / 1` ו
`system_error / 0`. שיטות אלה לזרוק רגיל `שגיאה / 2` חריגים תנאי
והם שווים לרצף של 'הקשר / 1' ו'זרוק / 1 'שיחות בשיטה.


* מסירה: תמיכה עבור שיחות Logtalk 2.x `הוצא משימוש / 1`,` משתמש / 1` ו
'כינוי / 3'.


* הוסר: תמיכה עבור logtalk 2.x `:` `לבניית שליטה.


* הוסר: תמיכה עבור logtalk הוצא משימוש 2.x `לא ידוע`,` סינגלטונים`,
'tmpdir`, ודגמי המהדורה' גרסה '.

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

חדש: תמיכה עבור המשתנים המשתנים
`פרמטר / 2` ו 'זה 1` מובנית שיטות גישה פרמטרים ישות.
משתני הפרמטר הם משתנים המשמשים במזהה הישות הפרמטרית
כי להתחיל ולסיים עם קו תחתון (`_VariableName_`). כל התרחשות
של משתנה פרמטר בסעיף ישות מאוחד במשתמע עם
פרמטר ישות. הדבר מאפשר להוסיף פרמטרים של ישות, לסדר מחדש או
מבלי להסיר כל שינוי בסעיפים המתייחסים אליהם.
משתני פרמטר נתמכים רק עבור ישויות פרמטריות שהוגדרו ב
.

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

חדש: תמיכת מהדר לאיתור שיחות לפרדיקטים סטטיים מקומיים ללא סעיפים תואמים (aka tririvial fails ).

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

* משופר: אזהרה מהדר והודעות שגיאה כדי להפוך אותם אחידים יותר כדי להקל על ניתוח על ידי עורכי IDEs וכדי למנוע הדפסה גדולה במונחים.


* משופר: המהדר כבר לא דורש שיחות למסד הנתונים ו predicates השתקפות שבו הארגומנט הראשון הוא מונח מוסמך מודול להיות עטוף באמצעות `{/ 1` מהדר העוקף מהנה לבנות.


* משופרת: מהדר בדיקת שגיאות עבור מסד הנתונים ואת השתקפות predicate שיחות שבו הארגומנט הראשון הוא מונח מוסמך מודול.


* משופר: מזער את מספר טעינות הקובץ מופעלות על ידי שיחות אל "logtalk_make / 0-1` predicates.


* תוקן: במקרה שבו הפרדיקטטים logtalk_make / 0-1 `לא יטענו מחדש קובץ שהקובץ שלו יצר שגיאת מהדר.

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

* השתנה: הפרדיקט המובנה `current_event / 5` כדי ליצור תמיד את הארגומנט הראשון כאשר הוא נקרא עם אותו unbound.


* נוסף: תמיכה overriding במדריך ברירת המחדל של שריטה על ידי הגדרת
כינוי הספרייה `scratch_directory` בקובץ backlog לאתחול פרולוג
(להניח כי טעון לפני טעינת Logtalk). לאחר דיון עם
דאגלס ר מיילס על תמיכה בהתקנת Logtalk בספרייה לקריאה בלבד
ולהפעיל מופעים מרובים Logtalk בו זמנית ללא התנגשות.


* נוספה: 'הקשר' / 1 `מובנית שיטת ביצוע ההקשר כדי לספק גישה
אל ההקשר ביצוע ביצוע שיחה. משמש בעיקר למתן ברירת מחדל
בהקשר של שגיאה בעת בדיקת סוג של טיעונים.


* נוסף: תמיכה בהדפסת הודעות מסוג `debug` ו` debug (_) `. אלה
הודעות מודפסות רק כברירת מחדל, כאשר הדגל 'debug' מופעל.


* נוסף: נכס `כולל (קובץ)` ל `logtalk :: loaded_file_property / 2`
predicate כדי לאפשר ספירה, על ידי backtracking, כל הקבצים הכלולים על ידי
(

)

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

* RENAMED: היעד `logtalk_make / 1` `חסר` כדי לבדוק `.


* נוסף: תמיכה בהרחבה של 'logtalk_make / 1` עם הגדרת משתמש
פעולות באמצעות predate חדש multifile `logtalk_make_target_action / 1`.


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

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

* תוקן: רגרסיה מוצגת בהודעה 3.10.2 כאשר ביצוע מטא-התקשרות שיטות מובנות בהקשר.

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

מה חדש בגרסה 3.10.3:

* משופר: קוד פשוט שנוצר עבור פרדיקטים רב-תכליתיים.


* תוקן: רגרסיה במהדורה הקודמת של אוסף של multifile
סעיפים מקוריים שמקשרים למבני הבקרה ':: / 1-2`.

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

* נוסף: תמיכה ב- `number_of_rules / 1` ו-` number_of_user_rules / 1 `object
וקטגוריה.


* נוספה: תמיכה 'number_of_rules / 1 `נכס predicate.


* נוסף: זיהוי של הנחיות 'meta_predicate / 1' אשר מציינות בטעות מטרה
מטא-ויכוח שהוא למעשה סגר עבר ל `קריאה / 2-N` meta-predicate
שיחות. תודה לארון מאגומדר על הדו"ח.


* נוספה: איתור של הנחיות חסר היקף predicate בנוכחות
"מצב / 2".

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

* שונה: כעת, ספריית הבית
כאשר לא נמצא בספריית האתחול או בספריית המשתמש Logtalk.
הגדרת הדגל `settings_file` ל-` limit` מגבילה כעת את החיפוש
קובץ הגדרות לספריית המשתמש Logtalk וספריית הבית של המשתמש.
שינויים אלה שימושיים כאשר צוות שיתוף ההתקנה Logtalk עם שניהם
משתני הסביבה 'LOGTALKHOME` ו- `LOGTALKUSER` מצביעים על
אותה ספרייה. תודה לברי אוונס על ההצעה.

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

* שונה: ודא שבמהדורות מהדר והודעות אזהרה קובץ וקו מידע הוא תמיד השורה האחרונה עבור הבעיה המדווחת.

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

* נוסף: 'Unicode `לקריאה בלבד דגל כדי לתאר את מהדר פרולוג backend
תמיכה בתקן Unicode.


* נוסף: תמיכה ב + + + (קרקע) ו - `` (unbound) מופע
מצביעים (כמפעילי קידומת) לשימוש עם מצב 'מצב / 2'
הוראה.


* נוסף: תמיכה במפרט דטרמיניזם 'one_or_error` במצב `2`
הנחיות מקדימות. שימושי לתיעוד סוג predicates.


* משופרת: לזהות ניסיונות לקרוא מטרות כימות קיומית מחוץ
היקף של `bagof / 3` ו` setof / 3` שיחות.


* תוקן: בעת עריכת הוראות 'משתמש / 2', אל תיצור סעיף מקשר עבור
ריצה לשימוש עבור predicates מובנים ב `משתמש` כאשר לא מוגדר כינוי.


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


* תוקן: הימנע מטעינות מחדש של קבצים בעת קריאה 'logtalk_make / 0` או
'logtalk_make / 1` עם היעד `הכל`.


* קבוע: זיהוי של פרדיקטים חסרים ב "^^ / 1" שיחות בעת שיחות
`logtalk_make / 1` עם היעד` חסר`.

* תוקן: באג בממשק ה- API של ההשתקפות, שבו יש הפניה מקושרת
המידע לא נרשם. תודה על אדוארד שוורץ לדוח הבאגים.

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

מהדורה זו ממשיכה לעבוד על שיפור כלי הפיתוח תחת את החסות של קינדי, Inc זה כולל גרסה חדשה של כלי מעטפת עבור porting יישומים פשוטים פרולוג ושיפורים ותיקונים עבור lgtunit ו דיאגרמות כלים. הוא כולל גם בדיקות יחידה חדשות, מהדר ותיקוני תיעוד ועדכון תאימות עבור Lean Prolog.

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

* תוקן: באג מהדר שבו predicate כי הוא מונח המורחבת על ידי קורא את שיטת "compile_aux_clauses / 1" יכול להיות misreported לא רציף.


* תוקן: שיחות אל הנתיב המובנה 'threaded_notify / 1` מתוך האובייקט הפסאודו' משתמש 'אינו חייב לכלול ארגומנט כרוך לפי תיעוד.


* קבועים: שיחות אל האובייקטים מסוג object_property / 2` ו- category_property / 2 `עם מספר פרמטרים של 'number_of_clauses / 1` או' number_of_user_clauses / 1` כדי להיות דטרמיניסטי.

מהו חדש בגירסה 3.03.0:

* נוסף: תמיכה ביעד חדש 'logtalk_make / 1`, `חסר`, לרשימה חסרה ופריטים. זמין גם באמצעות קיצור הדרך '{}}.

* הוספה: תמיכה עבור 'logtalk_make' יעד חדש, `עגול`, לרשימה סימוכין מעמיק (בהתחשב במטרות שליחת הודעה) בין זוגות לשלושה אובייקטים. זמין גם באמצעות הקיצור '{@}'.

* משופר: צרף חשיש בספרייה לשמות של קבצי Prolog בינוניים כדי למנוע התנגשויות שם קובץ בעת איסוף כל קבצי הביניים באותה ספרייה עבור הטמעה. כיום נדרש ECLiPe, GNU
פרולוג, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB או YAP בתור מהדר backend.

* קבוע: meta-predicate שיחה באגים אופטימיזציה כאשר מטא ויכוח הוא גם סגירה מראש מלוקט או סגירת עבור המטרה הנקראת בהקשר של
`משתמש` pseudo אובייקט. גם להחיל בדיקה קפדנית יותר שגיאה לסגירת meta ארגומנטים.

* קבוע: הדפסה יפה של אובייקט פרמטרי ומזהי קטגוריות פרמטריות בטעות ובהודעות אזהרה.

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

* תוקן: שגיאה בבדיקת באג בביטויים lambda באמצעות `true / 0` כמו lambda
מטרה. תודה לבוריס וסילב על דוח הבאגים.


* תוקן: הסימן 'logtalk_make / 1 `יצליח (לאחר הדפסת אזהרה
) כאשר הוא מכונה בארגומנט לא מזוהה או לא חוקי במקום
כושל. אל ה
שנוצר פרולוג קבצים בינוניים באמצעות פרדיקט multifile לטובה
הטמעת ניסיון. יש לציין, כי זה עושה את זה קל יותר לעשות הטבעה מצטבר.


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

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

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

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

גרסה זו משלימה את יישום הכריכה הסטטית; מוסיף תמיכה עבור שימוש בשמות קבצים כפי שהוא עם המורכבת וטעינת predicates; מתקן באגים מהדר; כולל עדכוני תיעוד; משפר את כלי איתור באגים, בדיקות ותיעוד; מוסיף סדרה חדשה של בדיקות יחידה לבדיקת פרולוג תאימות עם סטנדרטים רשמיים דה פקטו; עדכון צבעי תחביר לכל עורכי הטקסט הנתמכים ומדגדי תחביר; וכולל עדכוני תאימות עבור ECLiPe, JIProlog ו- YAP.

דרישות :

מהדר פרולוג תואם.

תוכנה דומה

RB-ADoc
RB-ADoc

3 Jan 15

Style Master
Style Master

19 Jun 18

SourceGuardian
SourceGuardian

2 Jan 15

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

Logtalk
Logtalk

3 May 15

תגובות ל Logtalk

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