SWI-Prolog

סוג Dict חדש ותחביר מספק שני מפות הזמן ושם-ערך יעיל החלל עם תחביר נעים.

• כתוצאה מכך, היה צורך להחליף את בנאי הרשימה (H, T) על ידי (גם בשימוש על ידי מרקורי) "[|] '. (H, T). זה אולי נראה קיצוני, אבל בפועל משפיע רק כמה תוכניות, בעיקר עושה functor (Term, F, A) ברשימות ולאחר מכן בחירת עיבוד נוסף על F == '.', == 2. כדי להפעיל רשימות יותר ל מבנה מיוחד, [] הוא עדיין הרשימה הריקה, אבל כבר לא אותו הדבר כמו, כלומר, [] הוא '[]' לא באטום.
• התחביר & quot; ... & quot; עכשיו ממופה למחרוזות. מחרוזות תואמות עם Eclipse (הודות ליואכים Schimpf לכל הדיונים). קוד רשימות מסורתיות נבנו באמצעות .... דגלי double_quotes וback_quotes לשלוט בהתנהגות זו.
• תודה לTorbjörn לאגר, יש לנו & quot; quot ;, & Pengines מנועי פרולוג באינטרנט. זה מספק API גנריות לדבר בנוחות לשרת פרולוג מJavaScript ומקרים אחרים פרולוג. היא אפשרה הופ, SWI-פרולוג בדפדפן שלך (http://swish.swi-prolog.org), כמו גם http://lpn.swi-prolog.org (למד פרולוג עכשיו! עם הופ המוטבע).
• מרקוס Triska הוסיף CLP (ב), פותר אילוץ בוליאני, השתפר CLP (FD) והיה לפני כמה שיפורים לצומת העליונה התמודדות עם אילוצים.
• תודה למאט Lilley ומייק Elston, יש CQL, DSL (תחומים ספציפי שפה) להתמודדות עם SQL. CQL מפותח בסביבה שבה מסדי נתונים של SQL מורכבים הם הנורמה ולכן תומכת בתת-קבוצה גדולה של SQL ויכולים להתמודד עם שולחנות עם אלפי עמודים ודברים אחרים שהמשתמש SQL המזדמן לא מצפה.
• מאט Lilley השתפר ברשת תמיכה משמעותית, כולל תמיכה טובה יותר ב- SSL ותמיכה כללית לשני שרתי פרוקסי HTTP וגרביים.
• אנשים רבים סיפקו הרחבות (חבילות) המסתמכות על גרסת SWI-פרולוג 7.

מה חדש בגרסה 7.2.1 / 7.3.3-dev:

החדש ותחביר מספק שני מפות הזמן ושם-ערך יעיל החלל עם תחביר נעים.
• כתוצאה מכך, היה צורך להחליף את בנאי הרשימה (H, T) על ידי (גם בשימוש על ידי מרקורי) "[|] '. (H, T). זה אולי נראה קיצוני, אבל בפועל משפיע רק כמה תוכניות, בעיקר עושה functor (Term, F, A) ברשימות ולאחר מכן בחירת עיבוד נוסף על F == '.', == 2. כדי להפעיל רשימות יותר ל מבנה מיוחד, [] הוא עדיין הרשימה הריקה, אבל כבר לא אותו הדבר כמו, כלומר, [] הוא '[]' לא באטום.
• התחביר & quot; ... & quot; עכשיו ממופה למחרוזות. מחרוזות תואמות עם Eclipse (הודות ליואכים Schimpf לכל הדיונים). קוד רשימות מסורתיות נבנו באמצעות .... דגלי double_quotes וback_quotes לשלוט בהתנהגות זו.
• תודה לTorbjörn לאגר, יש לנו & quot; quot ;, & Pengines מנועי פרולוג באינטרנט. זה מספק API גנריות לדבר בנוחות לשרת פרולוג מJavaScript ומקרים אחרים פרולוג. היא אפשרה הופ, SWI-פרולוג בדפדפן שלך (http://swish.swi-prolog.org), כמו גם http://lpn.swi-prolog.org (למד פרולוג עכשיו! עם הופ המוטבע).
• מרקוס Triska הוסיף CLP (ב), פותר אילוץ בוליאני, השתפר CLP (FD) והיה לפני כמה שיפורים לצומת העליונה התמודדות עם אילוצים.
• תודה למאט Lilley ומייק Elston, יש CQL, DSL (תחומים ספציפי שפה) להתמודדות עם SQL. CQL מפותח בסביבה שבה מסדי נתונים של SQL מורכבים הם הנורמה ולכן תומכת בתת-קבוצה גדולה של SQL ויכולים להתמודד עם שולחנות עם אלפי עמודים ודברים אחרים שהמשתמש SQL המזדמן לא מצפה.
• מאט Lilley השתפר ברשת תמיכה משמעותית, כולל תמיכה טובה יותר ב- SSL ותמיכה כללית לשני שרתי פרוקסי HTTP וגרביים.
• אנשים רבים סיפקו הרחבות (חבילות) המסתמכות על גרסת SWI-פרולוג 7.

מה חדש בגרסה 7.2.0 / 7.3.1-dev:

החדש ותחביר מספק שני מפות הזמן ושם-ערך יעיל החלל עם תחביר נעים.
• כתוצאה מכך, היה צורך להחליף את בנאי הרשימה (H, T) על ידי (גם בשימוש על ידי מרקורי) "[|] '. (H, T). זה אולי נראה קיצוני, אבל בפועל משפיע רק כמה תוכניות, בעיקר עושה functor (Term, F, A) ברשימות ולאחר מכן בחירת עיבוד נוסף על F == '.', == 2. כדי להפעיל רשימות יותר ל מבנה מיוחד, [] הוא עדיין הרשימה הריקה, אבל כבר לא אותו הדבר כמו, כלומר, [] הוא '[]' לא באטום.
• התחביר & quot; ... & quot; עכשיו ממופה למחרוזות. מחרוזות תואמות עם Eclipse (הודות ליואכים Schimpf לכל הדיונים). קוד רשימות מסורתיות נבנו באמצעות .... דגלי double_quotes וback_quotes לשלוט בהתנהגות זו.
• תודה לTorbjörn לאגר, יש לנו & quot; quot ;, & Pengines מנועי פרולוג באינטרנט. זה מספק API גנריות לדבר בנוחות לשרת פרולוג מJavaScript ומקרים אחרים פרולוג. היא אפשרה הופ, SWI-פרולוג בדפדפן שלך (http://swish.swi-prolog.org), כמו גם http://lpn.swi-prolog.org (למד פרולוג עכשיו! עם הופ המוטבע).
• מרקוס Triska הוסיף CLP (ב), פותר אילוץ בוליאני, השתפר CLP (FD) והיה לפני כמה שיפורים לצומת העליונה התמודדות עם אילוצים.
• תודה למאט Lilley ומייק Elston, יש CQL, DSL (תחומים ספציפי שפה) להתמודדות עם SQL. CQL מפותח בסביבה שבה מסדי נתונים של SQL מורכבים הם הנורמה ולכן תומכת בתת-קבוצה גדולה של SQL ויכולים להתמודד עם שולחנות עם אלפי עמודים ודברים אחרים שהמשתמש SQL המזדמן לא מצפה.
• מאט Lilley השתפר ברשת תמיכה משמעותית, כולל תמיכה טובה יותר ב- SSL ותמיכה כללית לשני שרתי פרוקסי HTTP וגרביים.
• אנשים רבים סיפקו הרחבות (חבילות) המסתמכות על גרסת SWI-פרולוג 7.

מה חדש בגרסת 6.6.6 / 7.1.37:

עיבוד # !, מחייב קובץ למתורגמן ביוניקס כבר לא מנסה להיות חכם על אפשרויות עיבוד למתורגמן. השפעת השינוי זה תלויה בגרסאות יוניקס:. כמה להעביר רק את האפשרות הראשונה, אחרים לארוז את כל האפשרויות לאחת ובכל זאת אחרים לעבור את האפשרויות לאחר שבירתם
• argv דגל פרולוג מספק רק טיעונים שלא היה מעובד על ידי פרולוג.
• .plrc קובץ init (pl.ini ב- Windows) הוא כבר לא חיפש בספריית העבודה מסיבות ביטחוניות.

מה חדש בגרסת 6.6.6 / 7.1.31:

עיבוד # !, מחייב קובץ למתורגמן ביוניקס כבר לא מנסה להיות חכם על אפשרויות עיבוד למתורגמן. השפעת השינוי זה תלויה בגרסאות יוניקס:. כמה להעביר רק את האפשרות הראשונה, אחרים לארוז את כל האפשרויות לאחת ובכל זאת אחרים לעבור את האפשרויות לאחר שבירתם
• argv דגל פרולוג מספק רק טיעונים שלא היה מעובד על ידי פרולוג.
• .plrc קובץ init (pl.ini ב- Windows) הוא כבר לא חיפש בספריית העבודה מסיבות ביטחוניות.

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

• עדכון ספריית RDF לכל אחד 3. גרסת אכפתיות היה על RDF כבר כנראה משתמש בגרסת הפיתוח מסיבה זו. מנתחים מהירים נוסף לntriples, פורמטי צב וטריג.
• מבוא של ציטוט מעין להכללת חלק והבטוח של קטעי שפה חיצוניים
• שדרוג של PlDoc לקבל מבני markdown הנפוץ.
• שיפורים רבים לכלי פיתוח, ספריות HTTP, חבילת clib. וכו 'תמיכה טובה יותר לתהליכי יוניקס דמון (syslog, UID / ניהול GID, וכו'.)
• התחלה לאזור טיפול (תמיכה בפורמט / 3, בעיקר בכתיבת מספרים שלמים גדולים ספציפיים אזור.
• המון דברים יציבות:. קריסות קבועות, תיקוני ניידות, לבנות שיפורי מערכת, וכו '

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

גרסה ראשונית של 'מנהל חבילה "חבילה
• טיפול קובץ המקור טוב יותר, בעיקר WRT. : - כולל (קובץ)
.
• רבים תיקונים לבאגים, שיפור טיפול מקור וההיגיון שמחליט עליו יציאות מוסתרות.
• גרסת Windows עכשיו לבנות באמצעות פרויקט מהדר MinGW, וכתוצאה מכך האצת 10-20%. שיפורים לswipl-win.exe קונסולה:. העתק / דבק וצבע תמיכה

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

בדיוק בזמן על ויכוחים מרובים .
• מופשט רב של ממשקי API הפיתוח, תמיכה IDE PDT.
• הרבה ניקוי, תיקוני באגים, וכו.

מה חדש בגרסה 5.11.20:.

• שימוש שובל-ערימה מופחתת
• לספק איסוף אשפה דורות.

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

להפחית את השימוש במסלול-ערימה. (בחלקו)
• לספק איסוף אשפה דורות.

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

להפחית את השימוש במסלול-ערימה. (בחלקו)
• לספק איסוף אשפה דורות.

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

כל הפלטפורמות כעת להשתמש שמות עולים בקנה אחד. ההפעלה SWI-פרולוג נקראת swipl, swipl-LD מקשר וswipl-RC מנהל resouce-קובץ.
• זיכרון-ניהול ערימה חדש המבוסס על ערימה-הסטה ולא הקצאת ערימות דלילות בכתובת-המרחב הווירטואלי. שינוי זה מאפשר למדרגיות הרבה יותר טובה במספר הנושאים, כך אנחנו גם הסרנו את מגבלת חוט-ספירה הישנה של 100. כעת ניתן להעלות הערימה-הגבולות ומופחתים בזמן הריצה באמצעות set_prolog_stack / 2.
• ברירת מחדל ערימה-גודל-גבולות כעת 128MB לערימה על 32 סיביות ו256MB בחומרה 64 סיביות.
• דליפה נרחבת ולחץ בדיקה תיקנו מספר ההדלפות ותנאי מירוץ, מה שהופך את המערכת הרבה יותר חזקה בהתקנת שרת 24x7.
• התחלה נעשתה כדי להימנע משימוש C-הערימה לrecursing למונחים. זה מאפשר עיבוד הרבה יותר עמוק מקוננת תנאים ומספק חריג נקי אם יש משאבים מספיקים כדי לעבור את הטווח. יש עדיין הרבה מה לעשות בתחום זה.
• SWI-פרולוג 5.10.0 מציג אזכור בטוח לתנאי בסיס הנתונים (assertz / 2, recordz / 3) וזרמים (לפתוח / 3).
• מספר משתנה בסעיפים כעת מוגבל ל- 1,000,000,000; זה היה 65535. בנוסף, המערכת מספקת חריגים חינניים כאשר נתקלים משאבים שגיאות או מנסה לטעון תנאים בלתי חוקיים כגון מונחים מחזוריים.
• תאימות לשני יאפ וSICStus מוגבר.

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

• על ניקיון: ביצוע ותיעוד של ממשק האות.
• קבוע:. שימוש --nopce / - PCE ל( דיס) המאפשר גרפיקה
• קבוע: GC-באג; להשמיט הפשטת uwrite סיביות מערימת ויכוח
• שינוי: הוסר abort_with_exception דגל פרולוג; זה כבר לא בשימוש.
• קבוע: הימנע ממבוי סתום בעת שניסה לצאת אחרי שגיאה חמורה
.
• שינוי: is_set / 1 משתמש כעת סוג / 2. כתוצאה מכך, משתנה שאינם משותף נחשבים אלמנטים שונים; הסדר הוא יומן * N (N) והנשוא עשוי לחזור משאבים שגיאה.
• קבוע: אחרי: -.. מודול (x), לבצע ביחס מטרת ההרחבה למודול x
• על ניקיון: פריט # 547:. כראוי לצטט פרדיקטים וחלופות מוגדרים
• DOC: הבהר current_arithmetic_function / 1
.
• DOC: ספק snippit הזמינות עבור C-פונקציות
• קבוע: הפישוט קודם פגום מנהל משתנה של המהדר. בדיקת מקרה גם הוסיף.
• קבוע: באג # 436: איחוד משתנה עם עצמו יוצר לולאת התייחסות
.

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

• קבוע: Referencer הצולב להבחין: בין 0 בהצהרות מטה-נשוא

• על ניקיון: השימוש meta_predicate לpredsort / 3
• שונה: לעשות / 0 סריקות עכשיו רק לאזכור של פרדיקטים מוגדרים במודולים המכילים אותם. / List_undefined 0 עדיין מחפש בעולם.
• משופר: CLP (FD):. Global_cardinality / 2 אם זוגות בהתחלה קרקע
Arc-עקבי
• קבועים: ידית (MultiFile) פרדיקטים שיש כמה סעיפים גופם במודול אחר וחלקם באותו הדבר. מאט Lilley.
• נוסף:% [& # x3c; n & # x3e;] פורמט F לformat_time / 3 להתמודד עם שברים של שניות. בשימוש על ידי הרחבות באגים חדשות.
• נוסף: debug_message_context (+ | -Context) כדי לציין הקשר נוסף להודעות ניפוי (כגון חותמת זמן)
.
• קבוע: apply_macros להסתפק הרחבת מטרתה בהקשר של מודול המערכת
• משופר: CLP (FD): global_cardinality מהר / 2 אם זוגות מפתח-Num הם קרקע
.
• קבוע: להתמודד עם מפעיל בעדיפות בהדפסת תשובה. מרקוס Triska.
• משופרת: אפשרויות הדפסת צומת עליונה השתמש למטרות שייר, יישום ניקוי
• משופר: הפוך term_variables וterm_attvars יעיל אם רשימה היא נתון (בעיקר term_attvars (Term, []))
.
• משופרים: הפוך מסד הנתונים נרשמו להשתמש בקוד לטווח הליכון חדש
• משופר: התקנה הראשונה של שלד לחוצי מונחים באמצעות לולאה פשוטה ולא הליך רקורסיבית. עכשיו בשימוש לterm_variables / 2 ונשואים בנושא. הסכימה מופיעה נאותה, אבל קוד הערימה המפולח חייב להיות מותאם באופן משמעותי. כמו שהוא, term_variables / 2 הוא מעט (5%) איטיים יותר, אבל זה יכול להתמודד עם מונחים עמוקים מקוננים עם הרבה פחות זיכרון וללא גולש ערימה.
• נוסף: term_attvars / 2 לתמיכה טובה יותר של copy_term / 3. לאחר דיון עם מרקוס Triska.
• נוסף: del_attrs / 1 למחוק * כל * התכונות. מפשט copy_term / 3.

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

• שיפור ביצועים בתוכניות גדולות יותר הוא בין 10 ל 40 %, בהתאם לתכנות בסגנון. יש לציין פותרי אילוץ רווח משמעותי. תוכניות קטנות לפעמים להראות speedups הרבה יותר גדול.
• מאז 5.7.4, מערכת מודול מעודכנת
• הרבה ניקוי בשמות ומודולריזציה של בסיס הקוד.