X-Prolog

هذا الوصف ل X-Prolog

X-Prolog هو نظام Prology خفيف الوزن يهدف إلى تسهيل البرمجة في Prolog على Android. يقوم التطبيق بتشغيل برامج ProLology في عرض وحدة التحكم أو كخدمة ملزمة لتطبيق العميل. يتوفر عميل عينة في https://github.com/xproly/sample-client.
حصلت على أداة؟
التطبيق يعتمد على أدوات المعرفة من قبل المستخدم لمشاريع التحرير وبناء المشاريع. تتم كتابة الأدوات في PROLOG وتعتبر مرئية على الأجهزة مع خيارات المطور. التطبيق وأدوات تبادل البيانات من خلال نقل المتغيرات والناتج المنسق. يتضمن هذا الإصدار أدوات تافهة تهدف إلى إظهار ميزة أدوات التطبيق.
يحدد التطبيق نقاط الإرشاد المتغيرات المتوفرة (إلى الأدوات) وإخراج المنسق (من الأدوات) المعترف بها. قد يتم تكوين أداة للمساهمة في نقاط تمديد واحدة أو أكثر عن طريق تحديد مصطلح السياق.
مصطلح السياق هو قراءة مصطلح النموذج
السياق (الاسم، الملفات، الأولوية)
، حيث
الاسم
هو اسم نقطة تمديد،
filetypes
هو قائمة أنواع الملفات المقبولة و
الأولوية
هو عدد صحيح لا يقل عن الصفر، المعنى الذي يختلف تبعا للنقطة التمديد.
يحدد هذا الإصدار ثلاث نقاط تمديد:
بناء وتحرير
و
implcile
، والتي تسمح للأدوات المساهمة بالمساهمة في ، على التوالي، وبناء المشاريع، تحرير الملفات المصدر وتسهيل النماذج المصدر.
لبناء مشروع، افتح ملف في أعلى الدليل للمشروع وانقر فوق
بناء
. لتصدير المشروع إلى ملف كائن رونابل على نظام الملفات المحلية، انقر فوق
تصدير
. لتشغيل ملف الكائنات، انقر فوق
تشغيل
.
يعتبر الملف ملف مصدر إذا كان هناك أدوات واحدة أو أكثر التي تقوم ببناء الملف، وربما تحويلها إلى ملف مصدر آخر. يتضمن هذا الإصدار أداة بناء واحدة،
ترجمة
، والتي تترجم ملف مصدر ProLolog (.pl) في ملف تحميل سريع (.ql).
المشكلات المعروفة تحدث يحدث التحقق، عرض التحديث المنطقي، المنسوبة المتغيرات وغيرها.