ב-פרולוג מהדר פרולוג גדול עבור Darwim.
הורד עכשיו

ב-פרולוג דירוג וסיכום

ב-פרולוג תגים

מפתח סיוע מפתח מהדר פרולוג תכנות לוגי סיוע פּרוֹלוֹג

ב-פרולוג תיאור

מהדר פרולוג גדול עבור Darwim. B-Prolog הוא צדדי ויעיל אילוץ הלוגיקה תכנות (CLP) מערכת! B-Prolog הוא מובא לך על ידי Apany תוכנה (ניו יורק), KLS (טוקיו), ו nandasoft (נאנג 'ינג). לידתה של CLP היא ציון דרך בהיסטוריה של שפות תכנות. CLP משלבת שני פרדיגמות תכנות הצהרות: תכנות ההיגיון ופתרון אילוצים. הטבע הצהרתי הוכיח מושך ביישומים רבים, כולל עיצוב בעזרת מחשב ואימות, מסד נתונים, כריית נתונים, הנדסת תוכנה, אופטימיזציה, תצורה, ממשק משתמש גרפי ועיבוד שפה. אחד של מטרות B-Prologs היא לשפר את הפרודוקטיביות של תחזוקת תוכנה ופיתוח.בנוסף, בגלל הזמינות של אילוצים יעילים לפתרון, ניהול זיכרון, וטכניקות קומפילציה, תוכניות CLP יכול להיות יעיל יותר מאשר עמיתיהם שנכתבו בשפות פרוצדורליות . מה חדש במהדורה זו: · אילוצי שולחן. שולחן או אילוץ המושג הוא חיובי או שלילי. אילוצים חיוביים לוקח את הטופס 'x ב R' ואילוצים שליליים לוקח את הטופס 'x notin r' שבו x הוא משתנים tuple (x1, ..., xn) או רשימה של tuples של משתנים , ו R הוא שולחן המוגדר כקבוצה של tuples של מספרים שלמים שבהם כל tuple לוקח את הטופס (A1, ..., An). · תמיכה במצבי שולחן. הצהרת טבלה לוקחת את הטופס ': Ptable P (M1, ..., MN): n.' כאשר p / n הוא predicate, MI הוא מצב (אשר יכול להיות 'דקות', 'מקס', '+', '-', או '?'), ו- n הוא גבול על מספר התשובות להיות הציגו. אם לא ניתן להגביל, יש להניח כי רק תשובה אחת מוציאה. · איטרציה מובנית: Foreach (iterators, localvars, מטרה) ו foreach (iterators, localvars, מצברים, מטרה) · אילוצים גלובליים חדשים: post_neqs / 1 ו post_disjunctive_tasks / 1. · אירועי זמן מטופלים בראש סדר העדיפויות. · אילוצי שוויון בינארי מתמחים עוד יותר. · הוסיף אילוצים גלובליים: בסידרה / 2, הקצאה / 2, והקצאת / 2. · 'Var ב' ו 'var notin d' יכול להתרחש אילוצים בוליאניים. · הדגל הלא ידוע עובד שוב. · גרסה משופרת של call_cleanup / 2. · תיקון באגים בהדר. · תיקון באגים בממשק GLPK.

ב-פרולוג תוכנה קשורה