Logtalk هي لغة برمجة منطقية موجهة للكائنات والتي يمكنها استخدام معظم تطبيقات Prolog كمترجم للجهة الخلفية. باعتبارها لغة متعددة النماذج ، تتضمن Logtalk دعمًا لكل من النماذج الأولية والفصول ، والبروتوكولات (واجهات) ، والبرمجة القائمة على المكونات من خلال التكوين القائم على الفئات ، والبرمجة التي تعتمد على الحدث ، وبرامج البرمجة متعددة المستويات عالية المستوى.
ما هو الجديد في هذا الإصدار:
* تم تحسينه: تجنب التحذيرات التوضيحية "meta_predicate / 1`" المفقودة غير الصحيحة عند عدم مشاركة meta-call الفعلي للمتغيرات مع رأس العبارة.
* تحسن: السماح باستخدام تعبيرات لامدا في القواعد النحوية دون الحاجة إلى تخصيص `استدعاء // 1`.
* ثابت: علة الأمثل في تجميع الوسيطة ميتا إغلاق عندما يكون الهدف الناتج هو دعوة إلى المسند المضمنة برولوج بسبب تداخل تعريف المسند المستخدم.
* FIXED: خطأ في التحسين في تجميع الوسيطة meta-argument عندما يكون الهدف الناتج عبارة عن استدعاء إلى إنشاء التحكم في Prolog `: / 2`.
ما هو الجديد في الإصدار 3.19:
* إضافة: دعم لتعريف المسندات المضمّنة الإضافية لـ Prolog لـ lint
التحقق من الأهداف التي هي دائما صحيحة أو خاطئة لملفات المحول باستخدام
hook predicate `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.
* إضافة: خاصية الكائن `وحدة` للكائنات التي تنتج من التجميع
من وحدات Prolog.
* إضافة: الراحة رمي الخطأ المدمج في أساليب `syntax_error / 1` و
`system_error / 0`. هذه الطرق رمي شروط الاستثناء `خطأ / 2` القياسية
وهي مكافئة لتسلسل مكالمات `context / 1` و` throw / 1`.
* إزالة: دعم ل logtalk موقوف 2.x `يدعو / 1` ،` يستخدم / 1` ، و
`توجيهات مستعارة / 3`.
* الإزالة: دعم ل logtalk 2.x `: / 1` تحكم بناء.
* إزالة: دعم ل logtalk الموقوف 2.x `غير معروف` ،` أحادية `،
`tmpdir` ، وأعلام برنامج التحويل البرمجي 'version`.
ما هو الجديد في الإصدار 3.14:
جديد: تقديم الدعم للمتغيرات _parameter_ التي توفر بديلاً لـ
`المعلمات / 2` و" هذا / 1 "أساليب مدمجة للوصول إلى معلمات الكيان.
متغيرات المعلمات هي متغيرات تستخدم في معرّف الكيان البارامتري
التي تبدأ وتنتهي بتسطير أسفل السطر (`_VariableName_`). أي حدوث
من متغير معلمة في جملة كيان تم ضمنيًا مع الوحدة
معامل الكيان. يسمح ذلك بإضافة معلمات الكيان أو إعادة ترتيبها أو
إزالة دون الحاجة إلى أي تغييرات على الشروط التي تشير إليها.
يتم دعم متغيرات المعلمات فقط للكيانات البارامترية المعرفة في
الملفات المصدر.
ما هو الجديد في الإصدار 3.13:
جديد: دعم برنامج التحويل البرمجي للكشف عن المكالمات إلى المسندات الثابتة المحلية مع عدم وجود جمل مطابقة (يُعرف أيضًا باسم فشل تافه).
ما هو الجديد في الإصدار 3.11.1:
* تحسن: تحذير مترجم ورسائل خطأ لجعلها أكثر تناسقًا لتسهيل عملية التحليل من خلال المحررين و IDE وتجنب طباعة مصطلحات كبيرة محتملة.
* تحسين: المحول البرمجي لم يعد يتطلب المكالمات إلى قاعدة البيانات وانعكاس المساهمات حيث تكون الوسيطة الأولى عبارة عن مصطلح مؤهل للوحدة يتم لفه باستخدام ``} / 1` مترجم التحكم في التحويل البرمجي.
* IMPROVED: التحقق من خطأ المترجم لقاعدة البيانات واستدعاءات المسند الانعكاس حيث تكون الوسيطة الأولى عبارة عن مصطلح مؤهل للوحدة النمطية.
* تحسين: تقليل عدد عمليات إعادة تحميل الملفات التي يتم تشغيلها بواسطة المكالمات إلى المسندات `logtalk_make / 0-1`.
* FIXED: الحالة التي قد يفشل فيها المسند `logtalk_make / 0-1` في إعادة تحميل الملف الذي قام بترجمه بإنشاء خطأ في المحول البرمجي.
ما هو الجديد في الإصدار 3.11:
* CHANGED: دالة التقييم المضمنة `current_event / 5` لتكوين دومًا الوسيطة الأولى عند استدعائها غير منضم.
* إضافة: دعم لتجاوز دليل الصفر الافتراضي عن طريق تحديد
مكتبة الاسم المستعار `scratch_directory` في ملف تهيئة Prolog الخلفية
(يفترض أن يتم تحميلها قبل تحميل Logtalk). بعد مناقشة مع
دوغلاس ر. مايلز على دعم تثبيت Logtalk في دليل للقراءة فقط
وتشغيل مثيلات Logtalk متعددة في وقت واحد دون صراع.
* إضافة: صيغة "سياق / 1" مضمنة لتنفيذ السياق لتوفير الوصول
إلى سياق تنفيذ الاتصال الأصلي. تستخدم أساسا لتوفير الافتراضي
سياق الخطأ عند التحقق من نوع الحجج المسند.
* إضافة: دعم لطباعة رسائل من النوع `debug` و` debug (_) `. هذه
يتم طباعة الرسائل فقط ، افتراضيًا ، عند تشغيل علامة `debug`.
* إضافة: الخاصية `تتضمن (ملف)` إلى `logtalk :: loaded_file_property / 2`
المسند للسماح لتعداد ، من خلال التراجع ، جميع الملفات التي يتضمنها
الملف المحمّل (باستخدام الأوامر `include / 1`).
ما هو الجديد في الإصدار 3.10.7:
* RENAMED: الهدف `logtalk_make / 1`` missing` to `check`.
* إضافة: دعم لتوسيع `أهداف logtalk_make / 1` مع تحديد المستخدم
الإجراءات باستخدام المسند multifile جديد `logtalk_make_target_action / 1`.
* إضافة: يتحقق الوبر مترجم لأهداف الكيان الحشمة والباطلة.
يتم التحقق حاليًا من المكالمات إلى توحيد Prolog والمقارنة والنوع
اختبار المسندات المضمنة. واقترح من قبل باري ايفانز.
ما هو الجديد في الإصدار 3.10.5:
* ثابت: الانحدار قدم في الإصدار 3.10.2 عند أساليب تنفيذ سياق استدعاء ميتا الدعوة.
* FIXED: فشل برنامج التحويل البرمجي الناتج عن تطبيق اختبارات قابلية النقل على المكالمات إلى المسندات والوظائف المضمنة في Prolog الموجودة في البنود المساعدة (عادة ما يتم إنشاؤها بواسطة آلية توسيع النطاق).
ما هو الجديد في الإصدار 3.10.3 :
* تم تحسينه: رمز مبسط تم إنشاؤه من أجل المسندات multifile.
* ثابت: الانحدار في الإصدار السابق في تجميع multifile
جمل المسند الذي يقوم بإجراء مكالمات إلى بنيات التحكم "/ / 1-2".
ما هو الجديد في الإصدار 3.09.1:
* إضافة: دعم `number_of_rules / 1` وشيء 'number_of_user_rules / 1`
و خصائص الفئة.
* إضافة: دعم خاصية المسند = number_of_rules / 1`.
* إضافة: اكتشاف توجيهات `meta_predicate / 1` التي تحدد هدفًا بشكل خاطئ
meta-argument التي هي بالفعل إغلاق تم تمريره إلى `call / 2-N` meta-predicate
المكالمات. شكرا لأرون ماجومدار للتقرير.
* إضافة: الكشف عن توجيهات نطاق المسند المفقود في وجود
توجيهات 'mode / 2`.
ما هو الجديد في الإصدار 3.09.0:
* تم تغيير إعدادات ملفات الإعدادات الآن في دليل المستخدم الرئيسي
عندما لا تكون موجودة في دليل بدء التشغيل أو في دليل المستخدم Logtalk.
يؤدي تعيين علامة `settings_file` إلى` restrict` إلى تقييد البحث عن
ملف الإعدادات إلى دليل المستخدم Logtalk ودليل المستخدم الرئيسي.
هذه التغييرات مفيدة عندما يشارك فريق تثبيت Logtalk مع كليهما
المتغيرات البيئة `LOGTALKHOME` و` LOGTALKUSER` مشيرا إلى
نفس الدليل. شكرًا على باري إيفانز على الاقتراح.
ما هو الجديد في الإصدار 3.08.0:
* CHANGED: تأكد من أن الملف ومعلومات الخط في رسائل المحول البرمجي ورسائل التحذير هي دائمًا السطر الأخير للمشكلة التي تم الإبلاغ عنها.
الجديد في الإصدار 3.07.0:
* إضافة: علامة للقراءة فقط (unicode) لوصف برنامج التحويل البرولوجي Prolog
دعم لمعيار Unicode.
* إضافة: دعم لوسيطة `` `` `` `` و `-` (غير منضم)
وسائط (تم تعريفها كمشغلات البادئة) لاستخدامها مع دالة التقييم 'mode / 2`
التوجيه.
* إضافة: دعم لمواصفات الحتمية `one_or_error` في` الوضع / 2`
التوجيهات الأصلية. مفيدة لتوثيق المسندات التحقق من نوع.
* تحسن: كشف محاولات استدعاء أهداف كمية محددة وجودي خارج
نطاق المكالمات `bagof / 3` و` setof / 3`.
* ثابت: عند تجميع تعليمات `يستخدم / 2` ، لا تقم بإنشاء جملة ربط لـ
استخدام وقت التشغيل لتقديرات المضمنة في `المستخدم` عندما يتم تعريف أي اسم مستعار.
* ثابت: عند نشر فشل تجميع لملف إلى ملفاته الأصلية ،
تأكد من إعادة تحميل أسلاف الملفات بدءًا من السلف الأعلى
من خلال آلية التصنيع.
* ثابت: تجنب إعادة تحميل الملفات المتكررة عند الاتصال `logtalk_make / 0` أو
`logtalk_make / 1` بالهدف` all`.
* ثابت: الكشف عن المسندات المفقودة في المكالمات `^^ / 1` عند الاتصال
`logtalk_make / 1` مع الهدف` مفقود`.
* ثابت: خطأ في واجهة برمجة التطبيقات التي تعكس بعض الإسناد الترافقي الأصلي
لم يتم تسجيل المعلومات. شكراً لإدوارد شوارتز لتقرير الأخطاء.
ما هو الجديد في الإصدار 3.06.2:
يستمر هذا الإصدار في العمل على تحسين أدوات المطور تحت رعاية شركة Kyndi، Inc. ويتضمن إصدارًا جديدًا من أداة المجمّع من أجل ترقية تطبيقات Prolog العادية وتحسينات وإصلاحات لأدوات lgtunit والرسوم البيانية. كما يتضمن أيضًا اختبارات وحدة جديدة ، وإصلاحات مترجم وتوثيق ، وتحديث التوافق لـ Lean Prolog.
ما هو الجديد في الإصدار 3.04.1:
* ثابت: علة برنامج التحويل البرمجي حيث المسند الذي هو موسع المدى عن طريق استدعاء طريقة `compile_aux_clauses / 1` يمكن أن يتم الإبلاغ عنها بطريقة خاطئة على أنها غير متجاورة.
* ثابت: يجب ألا تتطلب المكالمات إلى المسند المضمنة `threaded_notify / 1` من داخل كائن الزائفة` المستخدم` وسيطة ملزمة حسب الوثائق.
* FIXED: المكالمات إلى المسندات المضمنة `object_property / 2` و category_property / 2` مع وسيطات الخاصية number_of_clauses / 1` أو` number_of_user_clauses / 1` لتكون حتمية.
ما هو الجديد في الإصدار 3.03.0:
* إضافة: دعم هدف `logtalk_make / 1` جديد ،` مفقود` ، لإدراج الكيانات المفقودة والمسندات. متوفر أيضًا باستخدام الاختصار `{؟}.
* إضافة: دعم لهدف `logtalk_make / 1` جديد ،" دائري "، لإدراج المراجع الدائرية (مع مراعاة أهداف إرسال الرسائل) بين أزواج وثلاثي الأشياء. متوفرة أيضًا باستخدام الاختصار `{@}.
* IMPROVED: إلحاق تجزئة دليل إلى أسماء ملفات Prolog المتوسطة للمساعدة في تجنب الاصطدامات اسم الملف عند جمع كافة الملفات المتوسطة في نفس الدليل لتضمينها. يتطلب حاليا ECLiPSe ، GNU
Prolog ، أو JIProlog ، أو Quintus Prolog ، أو SICStus Prolog ، أو SWI-Prolog ، أو XSB ، أو YAP كمجمّع الخلفية.
* FIXED: خطأ في تحسين استدعاء Pratate Meta عندما تكون الوسيطة meta-argument عبارة عن إغلاق تم تجميعه مسبقًا أو إغلاق لأحد الأهداف يسمى في سياق
"كائن مستخدم زائف". تطبيق أيضا فحص الأخطاء أكثر صرامة لإغلاق الحجج التعريفية.
* ثابت: طباعة جميلة من كائن parametric ومعرفات فئة parametric في رسائل الخطأ والتحذير.
ما هو الجديد في الإصدار 3.02.2:
* ثابت: خطأ في التحقق من الأخطاء في تعبيرات lambda باستخدام `true / 0` مثل lambda
هدف. بفضل بوريس فاسيليف عن تقرير الخطأ.
* ثابت: سوف ينجح المساند `logtalk_make / 1` (بعد طباعة تحذير
الرسالة) عند استدعائها باستخدام وسيطة غير متراكمة أو غير صالحة بدلاً من
فشل. الى
ملفات Prolog المتوسطة المتولدة باستخدام دالة تقييم متعددة الأسطر للأفضل
تجربة التضمين. بشكل ملحوظ ، فإنه يجعل من السهل القيام التضمين التزايدي.
* تحسن: المساهمات جعل الآن أيضا إعادة تحميل الملفات الأصلية للملفات مع
تجميع أو تحميل الأخطاء. هذا يضمن أنه عند إحباط ملف خلل
تجميع جميع الملفات في ملف محمل ، الملفات المدرجة بعد الخلل
سيتم تجميع الملف عند إصلاح الملف المعطوب وتكون المسندات
تسمى.
ما هو الجديد في الإصدار 3.02.1:
* تحسن: يتم الآن إضافة إدخالات جدول وقت التشغيل للملفات المحملة إلى ملفات Prolog المتوسطة المولدة باستخدام دالة تقييم متعددة القيم لتجربة تضمين أفضل. بشكل ملحوظ ، فإنه يجعل من السهل القيام التضمين التزايدي.
* تحسين: مساهمات جعل الآن أيضا إعادة تحميل الملفات الأم للملفات مع أخطاء التحويل البرمجي أو التحميل. هذا يضمن أنه عند إحباط ملف خلل تجميع كافة الملفات في ملف محمل ، سيتم تصنيف الملفات المسرودة بعد الملف الخاطئ عند إصلاح الملف المعطوب ويتم استدعاء المسندات make.
الجديد في الإصدار 3.01.2:
يكمل هذا الإصدار تنفيذ الربط الثابت ؛ إضافة دعم لاستخدام أسماء الملفات كما هو مع المسند ترجمة وتحميل؛ إصلاح الخلل المجمع. ميزات تحديثات الوثائق. يحسن أدوات تصحيح الأخطاء والاختبار والتوثيق ؛ إضافة مجموعة جديدة من اختبارات الوحدة للتحقق من توافق Prolog مع المعايير الرسمية والواقعية ؛ تحديث تلوين بنية الجملة لكافة محررات النصوص المدعومة وأخصائيي تمييز البنية ؛ ويتضمن تحديثات التوافق لـ ECLiPSe و JIProlog و YAP.
والمتطلبات:
مترجم برولوجي متوافق.
لم يتم العثور على التعليقات