Tclp TCLP הוא בודק סוג עבור דיאלקטים Prologs.
הורד עכשיו

Tclp דירוג וסיכום

Tclp תגים

בּוֹדֵק סוּג סוג בודק דיאלקטים פרולוגים תכנות לוגיקה אילוצים Tclp

Tclp תיאור

TCLP הוא בודק סוג עבור דיאלקטים Prologs. TCLP היא מערכת סוג prescriptive עבור תכנות לוגי אילוץ, כיום: ISO-PROCOLGNU-PROCOLSICSICSICSTUS וספריות התכנות של ספריותיו של SICSTUS Prologbased על הקלדת תוכניות הלוגיקה על ידי Franois Feges ו Emmanuel Coquery. כתב העת של התיאוריה והתרגול של תכנות ההיגיון TPLP 1 (6)., עמ '751-777. נובמבר 2001. זמין כ- Ps.tclp משתמש 3 סוג של פולימורפיזם: פולימורפיזם פרמטרי (למשל: רשימות (א)) תת סוגים (למשל: רשימה (א) Int והקלד A * B -> זוג (A, B) שמיש: אין הצהרת סוג נדרש! סוג מסקנות עבור PrevicatesDefault סוגי עבור פונקציה סמלים דיאלקטים אחרים על ידי מתן סוגים עבור TCLP מובנה מיושם ב Prolog / Chr.What חדש במהדורה זו: · שחרור זה הוסיף את האפשרות להוסיף כינויים סוג. · זה, להצהיר השתמש בשמות כקיצורי דרך מסוגים בהצהרות מסוג.

Tclp תוכנה קשורה