Logtalk

وLogtalk هو وجوه المنحى تمديد مفتوح المصدر إلى لغة برمجة حاسوب. إدراج برمجة المنطق البرمجة وجوه المنحى والحدث يحركها، وهو متوافق مع معظم المجمعين حاسوب.
Logtalk يدعم كلا من النماذج والطبقات. وبالإضافة إلى ذلك، فإنه يدعم البرمجة المستندة إلى المكون من خلال تكوين القائم على فئة

الميزات:.

الفصل بين واجهة والتنفيذ:
توجيهات الأصلية (الإعلانات) يمكن احتواء داخل البروتوكولات (واجهات)، والتي يمكن تنفيذها من قبل أي كائن.
الأجسام حدودي:
يمكن أن تكون أسماء الكائنات حيث مركب يحتوي على المتغيرات الحرة التي يمكن استخدامها لparametrize يسند الكائن.
دعم لكلا النظامين المستندة إلى النموذج على أساس طبقي و:
قد يكون لديك في نفس التطبيق، التسلسلات الهرمية الطبقية (مع مثيل والعلاقات التخصص) والنموذج القائم على التسلسل الهرمي (مع العلاقات التمديد).
دعم التسلسلات الهرمية وجوه متعددة:
لا حاجة لتكون مقيدة إلى التسلسل الهرمي مطول واحد متجذرة في بعض وجوه عامة.
الخاص، وحمايتها، والميراث العام:
Logtalk يدعم الخاص، وحمايتها، والميراث العام بطريقة مماثلة لC. وعلاوة على ذلك، أي علاقة كيان يمكن وصفها باستخدام الكلمة النطاق.
خاصة، وحمايتها، ويسند وجوه العامة:
تعيين نطاق الكائن يسند لتتناسب مع تصميم بروتوكول الخاص والسماح للنظام وقت التشغيل فرض اختياراتك.
والدينامية قطع:
يمكن أن تكون الكائنات إما ساكنا أو متحركا. وتعرف الأجسام الساكنة في الملفات المصدر التي يتم تجميعها وتحميلها في نفس الطريق كملفات حاسوب. كائن حيوي يمكن تعريف إما في ملفات المصدر أو خلق في وقت التشغيل.
والدينامية يسند وجوه:
قد تحتوي على أي كائن ثابت المسندات على حد سواء والدينامية.
وقبل المعالج حتى نتمكن من استخدام جملة حاسوب القياسية:
يستخدم Logtalk تركيب حاسوب القياسية مع إضافة قليل من المشغلين والتوجيهات لمنحنى التعلم على نحو سلس.
الحدث يحركها البرمجة:
المسندات يمكن أن يسمى ضمنيا عند حدوث حدث تجسست، مما يسمح للحلول البرمجة التي تقلل من اقتران الكائن. وبالإضافة إلى ذلك، توفر الدعم لانعكاس الأحداث السلوكي.
القائم على عنصر البرمجة:
المسندات يمكن أن تكون مغلفة داخل الفئات، والتي يمكن استيرادها تقريبا قبل أي شيء، من دون أي ازدواجية رمز وبغض النظر عن التسلسل الهرمي الكائن. وهكذا، يمكن تعريف الأشياء من خلال تكوين الفئات التي تعمل الوحدات غرامة الحبيبات مدونة إعادة الاستخدام.
دعم متعدد الميراث:
Logtalk يدعم متعددة الميراث من كل من البروتوكول والتنفيذ. كائن قد تنفذ عدة بروتوكولات وتمتد، وتتخصص أو إنشاء مثيل عدة كائنات. يتم حل النزاعات متعددة الميراث-ضمنا من قبل Logtalk خوارزميات البحث أو صراحة باستخدام توجيهات الأصلية.
أداء جيد:
يتم ترجمة التعليمات البرمجية Logtalk باستخدام نفس التقنيات التي تستخدمها لكتابة كود كفاءة حاسوب. وبالإضافة إلى ذلك، يتم مؤقتا عمليات البحث طريقة بواسطة محرك وقت التشغيل Logtalk، وتحسين الأداء بشكل كبير. هي نتائج المؤشر لبعض المجمعين حاسوب متوفرة هنا.
وثيق التكامل مع ISO حاسوب قياسي:
تم تصميم Logtalk لتحقيق التكامل السلس مع أي مترجم حاسوب أن يتفق أو تتابع عن كثب ISO حاسوب قياسي.
متوافقة مع معظم المجمعين حاسوب:
Logtalk واجهات مع مترجم حاسوب معين عن طريق ملف تكوين الحد الأدنى مما يجعلها متوافقة مع أي مترجم الحديث تقريبا.
الجيل التلقائي للملفات وثائق XML:
Logtalk تلقائيا بإنشاء ملف الوثائق في شكل XML لكل جمعت وجوه، والبروتوكول، أو فئة. ويشمل النظام جميع XSL (T) الملفات والكتابات اللازمة لتحويل الملفات إلى توثيق (X) HTML و PDF.
Logtalk يعمل على أي جهاز كمبيوتر تقريبا مع مترجم حاسوب (بيئة التطوير الرئيسية هي G4 أبل بووربووك تشغيل ماك X). ويتم إنجاز واجهة بين Logtalk ومترجم حاسوب معين عن طريق ملف التكوين.
هذا الملف يحتوي على بعض المسندات محددة Logtalk وتطبيقات ليسند معيار ISO حاسوب لا تتوفر في المجمع حاسوب.
كتابة Logtalk لقد حاولت اتباع معيار ISO حاسوب كلما أمكن ذلك. القدرات التي يحتاج Logtalk التي لم يتم تعريفها في الجزء الأول من المعيار ISO هي:
الوصول إلى خصائص المسند (ديناميكي، ثابت، built_in):
شريطة أن حاسوب المفضلة لديك لديها هذه القدرات المذكورة أعلاه، مما يجعل ملف التكوين من السهل جدا. حزمة Logtalk يتضمن بالفعل ملفات التكوين عن المجمعين حاسوب الأكثر شيوعا. لتحقيق الأداء الأمثل، يتطلب أن Logtalk المترجم حاسوب يدعم الحجة الأولى فهرسة لكل رمز والدينامية.
يتم تنفيذ التطوير Logtalk واختبار حاليا باستخدام حاسوب المجمعين التالية (بالترتيب الأبجدي):
GNU حاسوب 1.2.18
SWI حاسوب 5.4.7
YAP 4.5.7
بسبب ذلك، وهذه هي على الأرجح أفضل الخيارات لتشغيل Logtalk (شريطة أن أنت حر في استخدام واحدة من هذه المجمعين).
وبالإضافة إلى ذلك، Logtalk يمتد مع ضئيلة أو معدومة التعديلات مع المجمعين حاسوب التالية (حسب الترتيب الأبجدي):
ALS حاسوب 3.1
Amzi! حاسوب 6.22 ~ 7.X
BinProlog 8.x من ~ 10.X
B-حاسوب 4.0، 5.0، 6.X
CIAO حاسوب 1.10p5
كسوف 5.5 ~ 5.8
IF / حاسوب 5.X
JIProlog 3.0.1-2
K-حاسوب 5.1.2a
LPA MacProlog32 1.25
LPA WinProlog32 4.0x
MasterProlog 4.1
مفتوحة 1.1b10 حاسوب
PrologII 4.5
QU-حاسوب 6.7
كوينتس حاسوب 3.3 ~ 3.5
SICStus حاسوب 3.8 ~ 3.12.x
XSB 2.6 ~ 2.7

ما هو الجديد في هذا الإصدار:

تعديل الرسالة المرسلة آلية لاستدعاء ومثل، وقبل ومثل. معالجات الأحداث قبل تنفيذ طريقة البحث. وينبغي أن يكون هذا التغيير أي تأثير على التعليمات البرمجية الموجودة ولكن يسمح بعض التطبيقات المثيرة للاهتمام (على سبيل المثال تفشل بدلا من رمي استثناء عندما لا يفهم رسالة).
معالجة أكثر اتساقا من الأعلام المترجم بين قيم الضبط العلم عند ترجمة / تحميل ملف وعند استخدام set_logtalk_flag / 2 المدمج في المسند: في كلتا الحالتين، وتحديد ومثل، smart_compilation ومثل. العلم على وإيقاف ومثل، نظيفة ومثل. العلم ووضع ومثل، نظيفة ومثل. العلم على وإيقاف ومثل، smart_compilation ومثل. العلم. أيضا، وتحديد ومثل، والتصحيح مثل؛ العلم على سيتم إيقاف كل من ومثل، smart_compilation ومثل. وو مثل، نظيفة ومثل؛ الأعلام.
يسمح لينة قطع سيطرة بناء، (* - & GT؛) / 2، عندما المعتمدة أصلا من قبل المجمع حاسوب الخلفية، لاستخدامها في الجسم من القواعد النحوية (بعد التصريح من قبل دانيال دياز حين مناقشة دعم GNU حاسوب ل سيطرة لينة قطع بناء).
تصحيح الخلل مترجم Logtalk عندما ومثل، source_data ومثل؛ العلم هو في النهاية الخلفية مع المجمعين حاسوب حيث من غير الممكن لاسترداد منصب مصطلح القراءة.
تصحيح خطأ في تجميع للmeta_non_terminal / 1 التوجيه حيث لا يوجد سوى سيتم تجهيز أول الفوقية الحجة بشكل صحيح.
تحديث ملف التكوين كسوف للكشف عند تشغيل ويندوز 64 بت أنظمة وتجاهل الصادرات غير أصلية وغير مشغل عندما قبل تجهيز ليب / 1 التوجيهات.
تحديث إطار اختبار وحدة لطباعة الرسائل أكثر إفصاحا عن وحدة الاختبارات الفاشلة.
وأضاف المسند تقسيم / 4 (لتقسيم القائمة إلى القوائم الفرعية بطول معين) إلى ومثل، listp ومثل ؛، ومثل، وقائمة مثل ؛، و & مثل؛ difflist ومثل. الكيانات المكتبات.
تحديث ومثل، ومثل سم مكعب. المثال مع تعريف لقذيفة / 2 المسند لCxProlog.
غيرت أسماء الكائنات في مثل &؛ ميل & مثل؛ مثال لتجنب تعارض اسم عند تشغيل الاختبارات سبيل المثال وحدة.
تصحيح خطأ في مثبت Windows التي حالت دون الكشف عن YAP 64 بت الإصدارات. بفضل ستيبان Ipatov للتقرير الشوائب.
تصحيح خطأ في مثبت Windows التي منعت المستخدمين من تخصيص دليل التثبيت. بفضل دانيال مونيز لتقرير الشوائب وغافن لامبرت لتشخيص علة.
تحديث النصي المثبت ويندوز لتحسين الكشف عن XSB وإلى الافتراضي لتثبيت فقط على الملفات لكل مستخدم عند تشغيل من قبل مستخدم غير المشرف على جهاز كمبيوتر حيث تم تثبيت Logtalk بالفعل.
واضاف الدعم الأساسي للمطاط ومثل، قوائم ومثل؛ الحزمة. ملاحظات إضافية على ومثل، وسكت مثل. وو مثل؛ texmates ومثل؛ حزم اللثي.
الملاحظات المضافة على محرر النصوص Textastic باد.
وأضاف التلوين في بناء الجملة الأساسية ورمز للطي الدعم للمحرر النص برنامج UltraEdit.
تحديث حزمة تيكست مايت لتعطيل التصحيحات المسافة البادئة التلقائية التي أدخلت في النسخة تطوير تيكست مايت 2.0.

ما هو الجديد في الإصدار 2.44.0:

تغيير دلالات تكمل فئات للسماح الترقيع سواء الإعلانات الأصلية والتعاريف الأصلية للكائنات تكمل. يتم ذلك عن طريق ضمان أن إعلان المسند وتعريف عمليات البحث تبدأ في فئات استكمال قبل النظر في وجوه تكمل نفسها أو إلى كيانات المرتبطة بها.
تحديث مترجم Logtalk من أجل توليد تحذيرا عند ترجمة فئة تكملة لكائن تستكمل التي جمعت مع دعم لاستكمال فئات إيقاف.
تصحيح خطأ في معالجة المكالمات الفوقية ليسند الفوقية حيث سياق الدعوة سيتم تعيين إلى & مثل، وهذا مثل و. بدلا من ومثل، المرسل ومثل؛ كلما كانت الفوقية وسيطة واحدة من :: / 2، {} / 1،

ما هو الجديد في الإصدار 2.43.3:

تغيير المترجم أن تأخذ في الاعتبار الاستخدامات / 2 التوجيه عند ترجمة المكالمات إلى انعكاس المدمج في الأساليب. ويمتد هذا التغيير دلالات الاستخدامات / 2 التوجيه ويسمح أسهل الهجرة من تطبيقات حاسوب عادي لLogtalk.
تحديث تنفيذ predicate_property / 2 المدمج في الأسلوب، إضافة خاصية نطاق / 1.
تحديث مترجم Logtalk لإضافة معلومات حول اسم الملف المصدر، دليل الملف المصدر، وخيارات المترجم الملف المصدر إلى ملفات حاسوب ولدت. في الإصدارات السابقة، تم تسجيل هذه المعلومات فقط عند تحميل ملف مصدر. التغييرات تبسط بناء التطبيقات حيث المكتبات Logtalk هي ما قبل تجميعها وقبل تحميلها.
تحديث مترجم Logtalk لطباعة اسم الكائن هوك المستخدمة في تجميع الملفات المصدر عندما ومثل، وربط مثل. ويعرف مترجم العلم.
تحديث المصحح المدمج في لتجنب نقاط خيار غير الضرورية التي أنشأتها الخلفية المجمعين حاسوب الذي يتراجع / 1 تنفيذ يفشل في الاستفادة من دلالات تحديث منطقية لإجراء مكالمات القطعية.
تصحيح خطأ في وقت التشغيل معالج مترجم Logtalk حيث فشل في فك معرفات كيان الداخلية عند رمي استثناءات جود الكيان.
تحديث ملف التكوين حاسوب العجاف، مضيفا مؤشر / 1 توجيهات لبعض المسندات الديناميكية التي يستخدمها الجداول Logtalk وقت التشغيل الداخلية.
تحديث ملفات التكامل SWI-حاسوب لاختبار لمعرفة مدى توافر التوجيه مؤشر / 1، والذي هو مستنكر من قبل دعم تجريبي جديد SWI-حاسوب للتو في الوقت المناسب متعددة حجة الفهرسة.
واضاف يسند متتالية جزئية / 4 (لتوليد المتتالية من قائمة مع طول معين)، استبدل / 4 (لاستبدال عناصر في قائمة)، وhamming_distance / 3 إلى المكتبة ومثل، listp ومثل. وو مثل، قائمة ومثل؛ الكيانات.
وأضاف euclidean_norm / 2، chebyshev_norm / 2، manhattan_norm / 2، euclidean_distance / 3، chebyshev_distance / 3، manhattan_distance / 3، وscalar_product / 3 يسند إلى المكتبة ومثل، numberlistp ومثل؛ وو مثل؛ numberlist ومثل؛ الكيانات.
تصحيح بعض الخلل سخيفة في تعريف ومثل؛ حرف ومثل. الكائن مكتبة يسند is_bin_digit / 1، is_octal_digit / 1، is_dec_digit / 1، وis_hex_digit / 1.
تحديث المكتبة ومثل، all_loader.lgt ومثل. ملف محمل إليها أيضا تحميل ومثل، meta_compiler_loader.lgt ومثل. ملف محمل.

ما هو الجديد في الإصدار 2.43.1:

تغيير المترجم أن تأخذ في الاعتبار الاستخدامات / 2 التوجيه عند ترجمة المكالمات إلى قاعدة بيانات مدمجة في الأساليب. ويمتد هذا التغيير دلالات الاستخدامات / 2 التوجيه ويسمح أسهل الهجرة من تطبيقات حاسوب عادي لLogtalk.
واضاف لدعم تجريبي لاستخدام قالب المسند كوسيطة إلى coinductive / 1 التوجيه. هذا القالب يسمح للمواصفات التي الحجج ذات معنى للنجاح coinductive. واستنادا إلى وظائف مماثلة وجدت على على فيليكس Kluzniak في DRA الفوقية مترجم.
تحسين الدعم لتصحيح الأخطاء يسند coinductive عند استخدام Logtalk المدمج في المصحح.
دعم coinduction إزالتها لCxProlog. الإصدار الحالي من هذا المجمع يفتقر إلى قطع ناعمة المدمج في المسند أو سيطرة بناء، وهو مطلوب الآن من تنفيذ coinduction التجريبية.
رفعت جود قيود طويلة الأمد التي حالت دون تعريف المستخدم من المسندات مجمع للbagof / 3 و setof / 3 المدمج في وسائل كلما الحجة الهدف قد تستخدم محدد الكمية وجودية ^ / 2.
واضاف لدعم ومثل؛ ^ & مثل. ما وراء المسند الفوقية الحجة وضع محدد اقترحه يناير Wielemaker وجدت على SWI-حاسوب 5.11.25. هذا الوضع مفيد محدد عند تحديد مغلفة لbagof / 3 و setof / 3 المدمج في وسائل كلما الحجة الهدف قد تستخدم محدد الكمية وجودية ^ / 2.
واضاف ومثل، prolog_compiler ومثل؛ وو مثل؛ prolog_loader ومثل؛ الأعلام المترجم، والتي تسمح بتمرير الخيارات إلى الخلفية مترجم حاسوب المدمج في المسندات أن جمع إلى القرص وتحميل (المترجمة) حاسوب العلم. القيمة الافتراضية لكلا الأعلام لائحة فارغة.
تصحيح خلل عند ترجمة المكالمات إلى حاسوب الملكية المدمج في المسندات التلوي حيث المترجم Logtalk قد تحاول معالجة الحجج غير التلوي كأهداف. هذا الخطأ يتجلى فقط في حد ذاته مع بعض الخلفية المجمعين حاسوب مثل الكسوف.
تصحيح خطأ في معالجة توجيهات الترجمة الشرطية.
تصحيح الخلل التي حالت دون تمرير اسم مستعار / 3 التوجيهات على المكالمات إلى create_object / 4، create_category / 4، وcreate_protocol / 3 يسند المضمنة.
إزالتها من المدمج في وجوه ومثل، logtalk ومثل. الطرق decompile_predicate_head / 4 و decompile_predicate_indicator / 4 انتقدت.
دعم إزالة لLogtalk إهمال طويل metapredicate / 1 التوجيه.
تصحيح خلل الأداء عند التخزين المؤقت المكالمات إلى فئة يسند حيث الإدخالات المخزنة مؤقتا يمكن أن يكون أكثر تحديدا مما هو ضروري عند العمل مع فئات حدودي.
تحسين التخزين المؤقت ومثل، ومثل السوبر. يدعو من داخل النماذج. سابقا، سيتم المتخصصة كل مقالات مؤقتا بواسطة قيمة ومثل، واحترام الذات ومثل. من أجل التعامل بشكل صحيح مع الحالات الخاصة حيث كائن كلا instantiates ومتخصصة غيرها من الأشياء.
تحديث مترجم Logtalk لتنشيط أي إعلانات المشغل وجدت على توجيهات نطاق الأصلية خلال تجميع الكيانات التي تحتوي على توجيهات.
تحسين أداء يسند coinductive عند استخدام الخلفية المجمعين حاسوب مثل SICStus حاسوب التي لا توفر سيطرة لينة قطع بناء ولكن تقديم لينة قطع المدمج في التلوي المسند (إذا / 3).
تصحيح الخلل فيها يمكن أن تكون مطبوعة تقرير زائفة من تحذيرات تجميع / تحميل عندما تم تجميع ملف المصدر / محملة العلم مترجم ومثل؛ وتقرير ومثل. إيقاف.
أضاف ومثل، streamvars ومثل. الكائن مكتبة، والمستمدة من مثل القائمة و، assignvars ومثل. فئة المكتبة، ويضم دعم لإضافة واسترجاع الشروط (التي قد تكون المتغيرات) من ومثل؛ تيار & مثل. متغير.
تحديث ومثل، coinduction ومثل. سبيل المثال، الاستفادة من تعزيز coinductive / 1 التوجيه وتوسيع عدد من الأمثلة الفردية التي يمكن تشغيلها باستخدام SICStus حاسوب. وأضاف نموذج فحص سبيل المثال، باستخدام coinduction، coroutining، والقيود، التي ساهمت ندا Saeedloei.
تحديث ومثل، metapredicates ومثل. المثال مع نموذج التعليمات البرمجية التي توضح كيفية تعريف مغلفة لbagof / 3 و setof / 3 طرق المدمج في حين قد تحتوي على الفوقية حجة المتغيرات المؤهلة وجوديا.
تحديث ومثل، ومثل سم مكعب. سبيل المثال، وتصحيح التعريفات الأصلية لعدة النهاية الخلفية المجمعين حاسوب وإضافة بعض الاختبارات الوحدة الأساسية.
تحديث ومثل، ترميزات ومثل. مثلا مع دعم محدود لالعجاف حاسوب.
وأضاف إدخالات المفقودة لmeta_non_terminal / 1 التوجيه وللدعوة // N غير المحطة إلى ومثل، وتساعد ومثل. المثال.
وأضاف محلل لPDDL 3.0 الملفات، التي ساهمت روبرت الساساك.
كود أضاف للطي الدعم لمحرر النصوص سوبيثايديت. كود أضاف للطي الدعم للكتل الترجمة الشرطية لتحرير النصوص كيت، فيم، وتيكست مايت.
تحديث البرامج النصية التكامل من أجل تحميل ملف مسارات مكتبة قبل تحميل Logtalk مترجم / وقت التشغيل. ويهدف هذا التغيير إلى تبسيط تحميل مكتبة والمثال الملفات من ملفات الإعدادات. وبالإضافة إلى ذلك، ننظر أيضا للدليل التثبيت Logtalk بالدولار HOME / سهم عند لم يتم تعريف متغير البيئة LOGTALKHOME. وذلك بفضل لVAtor سانتوس كوستا للاقتراح.
تحديث ويندوز المثبت من أجل دعم العجاف حاسوب وكشف YAP 64 بت الإصدارات.

ما هو الجديد في الإصدار 2.43.0:

واضاف لدعم التجريبي لالعجاف حاسوب.
الإبلاغ عن الأخطاء تغير من قبل المجمع Logtalk ووقت التشغيل. جميع البنود باستثناء استخدام الآن، كلما أمكن ذلك، والخطأ (خطأ، logtalk (الهدف، الكيان))
الشكل. غيرت خطأ داخلي فحص للاستخدام، كلما كان ذلك عمليا، الجديد '$ lgt_must_be' / 2-3 يسند الداخلية.
وأضاف لومثل، تحسين ومثل. العلم، الذي هو القيمة الافتراضية ومثل، بل على ومثل ؛. هذا العلم يسمح للمستخدم لإيقاف التحسينات الموجودة لمثل مهام التصحيح (لل
وتشمل التحسينات تنفيذها حاليا إزالة دعوات متكررة إلى صحيح / 0 من الجسم بنود المسند جمع وإزالة
دعوات متكررة إلى (=) / 2 من جسم بنود الناتجة عن التوسع في القواعد النحوية).
أضاف ومثل، source_data ومثل. العلم، الذي هو القيمة الافتراضية ومثل، بل على ومثل ؛. مع هذا العلم المنصوص إلى & مثل؛ على & ؛، مثل Logtalk سوف تبقي المعلومات الممثلة باستخدام وضع / 2،
معلومات / 1-2، تستخدم / 2، وuse_module / 2 التوجيهات بالإضافة إلى بيانات الموقع المصدر (بما في ذلك أسماء الملفات المصدر وأرقام الأسطر)، ومفيدة على حد سواء لتصحيح الأخطاء
وللتكامل مع أدوات التطوير. يمكن أن تحول هذا العلم خارج من أجل توليد المزيد من أكواد المضغوط. وparameter_names / 1 الكائن و
تتم إزالة فئة الملكية من أجل تجنب التكرار.
نفذت محمية / 1 والقطاع الخاص / 1 خصائص الأشياء، والبروتوكولات، والفئات. جنبا إلى جنب مع العامة / 1 الممتلكات، وهذه الخصائص
يسمح قائمة يسند أعلن في الكيان يمكن الوصول إليه للحسابات العاكسة. نفذت تعلن / 2، ويعرف / 2، ويشمل / 3،
ويوفر / 3 خصائص للوصول إلى خصائص المسندات المعلنة والمحددة ضمن كيان. وتشمل خصائص إعلان line_count / 1، ورقم السطر التوجيه نطاق المسند. وتشمل خصائص تعريف line_count / 1، ورقم السطر من رئيس لأول مرة
بند لالمسند، وnumber_of_clauses / 1، وعدد من بنود لالمسند. نفذت أيضا الاستخدامات التجريبية / 3 و use_module / 3 خصائص.
وأضاف خاصية المسند، redefined_from / 1، مما يتيح الاستعلام عن الكائن أو الفئة التي تحتوي على تعريف المسند أن تم إعادة تعريف.
وأضاف المسند loaded_file / 3 لومثل، logtalk ومثل؛ المدمج في الكائن، الذي يكمل loaded_file / 2 المسند القائمة ويتيح الوصول إلى
خيارات واضحة تستخدم عندما تم تجميع الملف وتحميلها.
دعم مترجم تنفيذها لmeta_non_terminal / 1 التوجيه والدعوة // N بنيت في غير محطة.
تبسيط تجميع القواعد النحوية عن طريق إزالة الدعم عن التعامل مع غير الطرفية نطاق وجود أخطاء في القاعدة النحوية
مستوى بدلا من مستوى المسند. على الرغم من أن هذه الميزة يمكن أن تكون مفيدة عند تصحيح القواعد النحوية، فإنه معقدة دمج Logtalk مع أدوات تطوير حاسوب-الأم.
تحديث مترجم Logtalk من أجل إنقاذ المواقع بند الكيان وجعل هذه المعلومات متاحة للالخلفية المجمعين حاسوب.
تحديث مترجم Logtalk من أجل تجنب توليد بنود جامعا الداخلية غير الضرورية لإعلان المسند والجداول تعريف للكيانات ديناميكية.
تحديث مترجم Logtalk من أجل منع استخدام المسندات multifile لكسر التغليف الكائن. إعلان الأساسي
يجب أن يكون موجودا كيان، تحتوي على كل نطاق والتوجيه multifile لالمسند. وبالإضافة إلى ذلك، وتحديد شروط لmultifile
سوف كيان :: مدلل / Arity دون توجيه المقابلة multifile / 1 ينتج الآن في خطأ تجميع بدلا من مجرد تحذير.
إزالة قيود مترجم Logtalk التي أجبرت متجاور / 1 وديناميكية / 1 التوجيهات أن تسبق المكالمات إلى المسندات المعلنة.
تحسين تقرير مترجم Logtalk المكالمات أخطأ في الهجاء وإلى غير المحطات في القواعد النحوية.
السماح للاستخدام: / 1 تحكم بناء من على الجسم من القواعد النحوية.
عند التصحيح الرسائل المحددة في الاستخدامات / 2 توجيهات، تتم طباعة الرسالة الآن المؤهلين ضمنا كما في التعليمات البرمجية المصدر مكتوبة من قبل المستخدم.
غيرت يسند الداخلية المستخدمة في تنفيذ المدمج في المسندات متعدد خيوط من أجل تسهيل التكامل مع
رفيعة المستوى أدوات التصحيح التي تتطلب بتفريغ من قانون حاسوب ولدت.
تصحيح الخلل التي أدخلت في Logtalk 2.42.4 على تجميع يسند الكيان الذي يدعو يسند متزامنة. أدى هذا الخطأ في المكالمات
تبذل بدلا من ذلك إلى أشكال غير متزامنة من المسندات، التي من شأنها أن تظهر في الفشل عشوائية من أهداف الموضوع.
تصحيح الخلل منذ فترة طويلة حيث الفوقية دعوة للالمترجمة وقت التشغيل ضمن فئة سيتم جمعها على أنها دعوة إلى المسند من وجوه
استيراد فئة بدلا من ذلك بمثابة دعوة إلى فئة المسند المحلي.
تصحيح الخلل منذ فترة طويلة حيث تعيين قيم العلم كيان محليا باستخدام التوجيه set_logtalk_flag / 2 ستبوء بالفشل ليتم حفظها في الكيان
التعليمات البرمجية المترجمة.
تصحيح الخلل منذ زمن طويل عندما إلغاء المسند الديناميكي في كائن غير النموذج حيث أن إلغاء / 1 طريقة ستنجح دون
المسند التي ألغيت في الواقع.
تصحيح خطأ في تحديد سياق التنفيذ الصحيح عند استدعاء الحجة الفوقية التي تتطلب تجميع وقت التشغيل في سياق
ومثل، المرسل ومثل ؛.
تصحيح خطأ في تجميع المكالمات صريحة المؤهلين للوحدة الفوقية يسند حيث سيتم إسقاط تأهيل وحدة من
دعوة المترجمة. لاحظ أن هذه الدعوات سوف تستخدم دلالات Logtalk الفوقية الأصلية (أي سوف يطلق الحجج الفوقية في سياق
المتصل) بدلا من التلوي المسند وحدة حاسوب دلالات المعتادة.
تصحيح الخلل فيها لم تهيئة مداخن coinduction عند استخدام

ما هو الجديد في الإصدار 2.42.4:

هذا الإصدار يتضمن مترجم، وقت التشغيل، ومتعدد خيوط تحسينات الأداء، ويحسن رسائل الخطأ مترجم لل/ 1 متزامنة / 1 وديناميكية توجيهات، ويضيف دعم للحفاظ على المعلومات نطاق المشغل وإخراج هذه المعلومات إلى XML إنشاؤه تلقائيا توثيق الملفات، ويضيف يسند فائدة جديدة إلى الكائن logtalk، ويحسن العديد من الأمثلة والبرمجة، وتتضمن حلا لإلغاء التثبيت علة SWI-حاسوب على ويندوز، وميزات تحديثات قابلية لتشو-حاسوب، SICStus حاسوب، SWI-حاسوب، XSB، وYAP.

ما هو الجديد في الإصدار 2.42.3:

هذا الإصدار يضيف دعما لدعوة يسند ديناميكية في سياق ومثل، وهذا مثل و. من ضمن فئات، يضيف دعما لرؤساء بند جمعت قبل، ويشمل بوجفيكسيس والتحسينات إلى مصحح مدمج، يتضمن تحسين المكتبات والأمثلة، يضيف دعما للindexicals عند استخدام SICStus حاسوب CLP (FD) مكتبة، ويضيف مثالا التجريبي لل استخدام المتغيرات يعزى داخل الأشياء والفئات، ويضم التحديثات قابلية للكسوف، GNU حاسوب، SICStus حاسوب، وSWI-حاسوب.

ما هو الجديد في الإصدار 2.42.2:

هذا الإصدار يحسن تجميع المكالمات إلى الوحدة المسندات، ويحسن التحقق من الحجج الفوقية في المكالمات الفوقية المسند، ويحسن الدعم لامدا التعبيرات، يتضمن مترجم الأمثل للمكالمات الى المكتبة الفوقية المسندات، ويضيف مكتبات جديدة لتسجيل الأحداث، والعمل مع العلاقات الفاصلة الزمنية، واستخدام عدادات صحيح، ويحسن الأمثلة والمكتبات الموجودة، ويضيف دعم لاستخدام حزمة SyntaxHighlighter جافا سكريبت على أساس، و ميزات قابلية تحديثات لGNU حاسوب، تشو-حاسوب، SICStus حاسوب، SWI-حاسوب، وXSB.

ما هو الجديد في الإصدار 2.42.1:

هذا الإصدار يضيف دعما لوضع مؤشرات جديدة التلوي المسند، وتمكين الدعم لمزيد من حاسوب الملكية المدمج في المسندات الفوقية.
تمت إضافة دعم للكشف عن المفقودين وتقديم التقارير ديناميكية / 1 و متجاور / 1 التوجيهات.
وأضيف العلم الوبر الجديد.
تم تصحيح اثنين التلوي المسند البق تجميع.
تم تحديث بعض الأمثلة.
وقدمت تحديثات قابلية للB-حاسوب، SICStus حاسوب، SWI-حاسوب، XSB، وYAP.