TCLP. TCLP هو مدقق نوع لهجات الوراخل.
التحميل الان

TCLP. الترتيب والملخص

TCLP. العلامات

فاحص نوع اكتب المدقق لهجات الوراخل القيد منطق البرمجة TCLP.

TCLP. وصف

TCLP هو مدقق نوع لهجات اللوافور. TCLP هو نظام مصنوع من نوع إلزامي لبرمجة المنطق القيد، حاليا: ISO-PROLOGNU-PROLOGSICSTUSTUS PROLOGSTUS و LIBRARIESCONTRITETS برمجة مكتبة SICSTUS ProLologed على كتابة برامج منطق القيود عن طريق برمجة Franois و Emmanuel Coquery. مجلة نظرية وممارسة البرمجة المنطقية TPLP 1 (6).، PP. 751-777. نوفمبر 2001. يتوفر Ps.TCLP 3 أنواع من الأشكال تعدد الأشكال: تعدد الأشكال غير المعلمة (على سبيل المثال: قائمة (A)) الفرعي الفرعي (على سبيل المثال: قائمة (أ) <مصطلح) الزائد (تسمى أيضا تعدد الأشكال adhoc) على سبيل المثال: '-' 2 علبة لديك نوع int * int-/> int واكتب A * B -> الزوج (A، B) قابلة للاستخدام: لا يوجد إعلان نوع مطلوب! اكتب من النوع الاستدلال لأنواع PredicatesDefault for FunctorsSextsixixixixibles إلى لهجات أخرى من خلال توفير أنواع TCLP المضمنة في PROLOG / Chr.What الجديد في هذا الإصدار: تمت إضافة هذا الإصدار إمكانية إضافة اسم مستعار النوع. وهذا هو، الإعلان استخدام الأسماء كاختصارات لأنواع في تصريحات الكتابة.

TCLP. برامج ذات صلة