ברוכים הבאים ל- B-פרולוג, מערכת תכנות היגיון אילוץ תכליתי ויעיל (CLP)! B-הפרולוג הוא להיות הביא לך Afany תוכנה (ניו יורק), KLS (טוקיו), וNandaSoft (Nanjing).
הלידה של CLP הוא ציון דרך בהיסטוריה של שפות תכנות. CLP משלב שתי פרדיגמות תכנות הצהרתיים: תכנות היגיון ופתרון אילוץ. הטבע ההצהרתי הוכיח מושך במספר רב של יישומים, כולל תכנון בעזרת מחשב ואימות, מסד נתונים, כריית נתונים, הנדסת תוכנה, אופטימיזציה, תצורה, ממשק משתמש גרפי, ועיבוד שפה. זה משפר באופן משמעותי את הפרודוקטיביות של פיתוח תוכנה ותחזוקת תוכנה. בנוסף, בגלל הזמינות של אילוץ פתרון יעיל, ניהול זיכרון, וטכניקות הידור, תוכניות CLP יכולות להיות יעילה יותר מאשר עמיתיהם שנכתבו בשפות פרוצדורליות.
מה חדש במהדורה זו:
<>
מתכנן
בין / 3.
לחסר / 3.
אילוץ
כפל
תגובות לא נמצא