logtalk. لغة برمجة المنطق المنطقي مفتوحة المصدر
التحميل الان

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

logtalk. العلامات

برمجة منطق لغة لغة البرمجة المنطقية تنفيذ برولوج مترجم الخلفي

logtalk. وصف

شاشة برمجة المنطق المنطق الموجهة إلى المصدر LogTalk هي لغة برمجة منطق تنضج من المنطق الموجهة إلى الكائنات التي يمكنها استخدام معظم تطبيقات المؤلفات كمترجم خلفي. فيما يلي بعض الملامح الرئيسية ل LogTalk ": يمكن توصيل التوجيهات المسندية (التصريحات) داخل البروتوكولات (واجهات)، والتي قد يتم تنفيذها من قبل أي كائن. يمكن أن تكون أسماء الكائنات مركبة تحتوي على متغيرات مجانية يمكن استخدامها لتسمية Parametize Object Overicates. هذا يسمح لنا بمعالجة أي مسند كمثقبين لكائن حدودي. بمعنى آخر. من خلال كائن غير رسمي يمكننا ربط أي عدد من الأساليب بمصطلح مركب. قد يكون لديك، في نفس التطبيق، التسلسلات الهرمية المستندة إلى الفئة (مع العلاقات النسائية والتخصص) والأفلام التسلسلات الهرمية النموذجية (مع علاقات الإرشاد). علاوة على ذلك، يمكن استخدام ميزات اللغة الأساسية مثل البروتوكولات (الواجهات) والفئات (المكونات) في وقت واحد عن طريق الفصول والحالات والنماذج الأولية. لا حاجة إلى أن تكون مقيدة لتسلسل هرمي واحد مطول في بعض الكائن العام. LogTalk يدعم الميراث الخاص والمحمي والجمهور بطريقة مماثلة ل C. علاوة على ذلك، يمكن أن تكون أي علاقة كيان مؤهلة باستخدام الكلمة الأساسية نطاق. على سبيل المثال يمكن أن ينفذ كائن من القطاع الخاص بروتوكول، مما يجعل كل البروتوكول المعلن عنه يتأرجح خاصا. قم بتعيين نطاق الكائن الخاص بك يتأرجح لمطابقة تصميم البروتوكول الخاص بك والسماح لنظام التشغيل بفرض اختياراتك. الكائنات يمكن أن تكون إما ثابتة أو ديناميكية. يتم تعريف الكائنات الثابتة في الملفات المصدر التي يتم تجميعها وتحميلها بنفس طريقة ملفات البرامج. يمكن تعريف كائن ديناميكي إما في ملفات المصدر أو تم إنشاؤه عند وقت التشغيل. قد يحتوي أي كائن ثابت على الكاتب الثابت والديناميكي. يستخدم LogTalk بناء جملة Prolog Standard مع إضافة عدد قليل من المشغلين والتوجيهات لمنحنى التعلم السلس. يمكن تغليف رمز Prolog بسهولة داخل الكائنات مع تغييرات قليلة أو معدومة. علاوة على ذلك، يمكن ل LogTalk تفسير معظم الوحدات النمطية للتصوير بشفال ككائنات LogTalk لسهولة إعادة استخدام التعليمات البرمجية الحالية (مثل المكتبات). يمكن أن يتم استدعاء المسندات ضمنا عند حدوث حدث تجسيري، مما يتيح حلول البرمجة التي تقليل اقتران الكائنات. بالإضافة إلى ذلك، توفر الأحداث دعم الانعكاس السلوكي. يمكن تغليف المسندات داخل الفئات، والتي يمكن استيرادها فعليا بأي كائن، دون أي تكرار كود وبغض النظر عن التسلسلات الهرمية للكائنات. وبالتالي، قد يتم تعريف الكائنات من خلال تكوين الفئات، والتي تعمل كوحدات دقيقة من إعادة استخدام التعليمات البرمجية. تتوفر برمجة عالية المستوى متعدد الخيوط عند تشغيل LogTalk مع محاميل ProLolog المحدد المحدد، مما يسمح بالكائنات لدعم كل من الرسائل المتزامنة وغير المتزامنة. يمكنك الاستفادة بسهولة من الحوامل الحديثة متعددة المعالجات وأجهزة الكمبيوتر متعددة النواة دون إزعاج تفاصيل إنشاء وتدمير المواضيع، أو تطبيق اتصالات الخيط، أو مزامنة المواضيع. LogTalk يدعم المتعدد المتعدد للبروتوكول والتنفيذ. قد يقوم كائن بتنفيذ العديد من البروتوكولات وتمديد أو تتخصص أو إنشاء مثيل عدة أشياء. يتم حل النزاعات متعددة الوراثة ضمنيا من خلال خوارزميات البحث LogTalk أو بشكل صريح باستخدام توجيهات مسندية. يتم تجميع رمز LogTalk باستخدام نفس التقنيات التي تستخدمها لكتابة رمز Prolog الفعال. بالإضافة إلى ذلك، يدعم LogTalk كل من الملزمة الثابتة والملزمة الديناميكية (مع التخزين المؤقت بحث الطريقة)، وتحسين الأداء إلى حد كبير. نتائج مرجعية لبعض محامرة البورولوج تتوفر هنا. تم تصميم LogTalk للتكامل السلس مع أي مترجم ProLogy يتوافق أو يتبع عن كثب معيار ISO ProLology. واجهات LogTalk مع برنامج بروتوك بروتوك بروتوك بروتوك بروتوك برولول بروتوك برولول بروتوك برولول بروتوك برولول بروتوكول بروتوك برولول بروتوكول برمجي محتمل من بروتوك بروتوكول بروتوك بروتوكول بروتوك برولول بروتوك بروتوكول برمائي محتمل من بروتوك بروتوكول بروتوك بروتوكول بروتوك برولول بروتوك بروتوكول برمائي محكم بروتوك بروتوكول بروتوك بروتوك بروتوكول بروتوك برولول بروتوكول بروتوكول بروتوك بروتوكول برمائي محدد يقوم LogTalk تلقائيا بإنشاء ملف وثائق بتنسيق XML لكل كائن مترجم أو بروتوكول أو فئة. يتضمن النظام جميع ملفات XSL (T) الضرورية والبرامج النصية لتحويل الملفات إلى (x) HTML و PDF. متطلبات: مقدور ما الجديد في هذا الإصدار: وأضاف الدعم لاستخدام بناء عنصر تحكم LOGTALK LOGTALK ROVTALK {} / 1 لتغليف التفاف الذي يجب تنفيذه في سياق "المستخدم" الكائن الزائف "(E.G. يدعو إلى PROLOG BULD-INSITIATS). الوحدة النمطية الوحدة النمطية دلالات المسند من أجل دعم المكالمات إلى الوحدة النمطية المتداولة المحددة في التوجيهات المستخدمة في Use_Module / 2 ضمن الكائنات والفئات. بالإضافة إلى دعم لتحويل المكالمات إلى الوحدة النمطية المؤهلة التي يتم تأهيلها بشكل صريح (قد تتطلب تحميل الوحدات النمطية، اعتمادا على مترولج البولولوجيا الخلفي). كود تنظيف تجميع التوجيهات المسند. تشديد الشيكات من توجيهات meta-pendicate و حجج التوجيه التجزية المسند. تحسين تجميع الدعوة / 2-n الأهداف. تحسين أداء المكالمات الميتا التي تم تجميعها في وقت التشغيل. تحسين أداء تعبير الحرة / هدف Lambda، يستخدم عادة في مكالمات Bagof / 3 و SETOF / 3. تحسين التحقق من الأخطاء في تعبير Lambda وإضافة دعم لاستخدام التعبير A (>>) / 2 Lambda كهدف. تصحيح خطأ في التعامل مع سياق ميتا مكالمة لتعبيرات Lambda. قم بتصحيح الخطأ المطبعي في مصطلح الاستثناء الذي تم إنشاؤه عند إرسال رسالة إلى كائن يرافق بطريقة محلية مدمجة. تحديث ملف CXProlog Config للتكوين من أجل تعيين حدود مدة الكتابة وحدود قائمة الكتابة التي تسمح بتجميع مكتبات LogTalk وأمثلة (القيم الافتراضية منخفضة في بعض الحالات التي تؤدي إلى أخطاء الترجمة). بالإضافة إلى ذلك، استفد من علامة "الإصدار" الجديدة، وبالتالي تتطلب الإصدار 0.97.4 أو إصدار أحدث. تحديث ملف التكوين SWI-PROLOG من أجل التعرف على التوجيه الاحتياطي وتجميعه AT_HALTT / 1. قم بتحديث ملف تكوين B-PROLOG لإضافة إعلان Meta-Prodicate مفقود ل ForeCrietary Foreach / 2 المدمج في المسند. تحديث ملف التكوين Yap عن طريق إضافة إعلان مفقود للوقت / 1 المدمج في Meta-Purricate المدمج والتعليق على تعيين المكالمة التي تحدد علامة "اللغة" إلى "ISO" بسبب جميع مكتبات Yap التي لا " تجميع مع هذا الإعداد. تحديث ملف تكوين XSB عن طريق إضافة إعلان مفقود في الوقت / 1 المدمج في Meta-Purricate والتعريف الخاص ب Setup_call_Cleanup / 3 (من أجل استعادة التوافق مع ميزات LogTalk متعددة الخيوط). تحديث جميع ملفات التكوين مع معلومات حول توافر Setup_call_Cleanup / 3 المسند. توسيع مثال "LambDAS" مع مساهمة من قبل Artur Miguel Dias، أكثر استعلامات عينة (بما في ذلك تلك غير الحتمية)، وبعض المعايير البسيطة. وأضاف دعم تلوين بناء الجملة لمشغل الكمي الوجودي ^ / 2 للحصول على معظم محرري النصوص الأكثر تدعم و HomeLighters Syntax. إضافة رمز نموذجي باستخدام الكم: الكم الوجودي الخاص ب ^ / 2 إلى ملف اختبار تلوين بناء الجملة.

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