X-Prolog

X-Prolog هو نظام Prolog خفيف الوزن.

X-Prolog هو نظام Prolog خفيف الوزن يهدف إلى تسهيل البرمجة في Prolog على Android. يقوم التطبيق بتشغيل برامج Prolog في عرض نصي أو عرض ويب أو كخدمة مرتبطة بتطبيق عميل. يتوفر نموذج للعميل على https://github.com/xprolog/sample-client.

لاحظ أن Google Play يقيد استخدام إذن الوصول إلى جميع الملفات في التطبيقات التي تستهدف Android 11 أو إصدار أحدث. لتثبيت X-Prolog بإذن وصول كامل للملفات ، ارجع إلى https://github.com/xprolog/xp/releases.

هل حصلت على الأداة؟ يعتمد التطبيق على أدوات يحددها المستخدم لتحرير المشروعات وإنشائها. الأدوات مكتوبة بلغة Prolog وتكون مرئية على الأجهزة مع خيارات المطور. يقوم التطبيق والأدوات بتبادل البيانات من خلال متغيرات النقل والإخراج المنسق. يتضمن هذا الإصدار أدوات بسيطة تهدف إلى توضيح ميزة أدوات التطبيق.

يحدد التطبيق نقاط الامتداد التي تتوفر عندها متغيرات النقل (للأدوات) ويتم التعرف على الإخراج المنسق (من الأدوات). قد يتم تكوين أداة للمساهمة في نقطة امتداد واحدة أو أكثر من خلال تحديد مصطلح سياق.

مصطلح السياق هو مصطلح قراءة للنموذج سياق (الاسم ، أنواع الملفات ، الأولوية) ، حيث الاسم هو اسم نقطة الامتداد ، أنواع الملفات هي قائمة بأنواع الملفات المقبولة و الأولوية هي عدد صحيح لا يقل عن الصفر ، ويختلف معناه تبعًا لنقطة الامتداد.

يحدد هذا الإصدار ثلاث نقاط امتداد: إنشاء وتحرير و تسوية ، والتي تسمح للأدوات بالمساهمة ، على التوالي ، في إنشاء المشاريع وتحرير ملفات المصدر وتسوية نماذج المصدر.

لإنشاء مشروع ، افتح ملفًا في الدليل العلوي للمشروع وانقر على إنشاء . لتصدير المشروع إلى ملف كائن قابل للتشغيل على نظام الملفات المحلي ، انقر فوق تصدير . لتشغيل ملف الكائن ، انقر فوق تشغيل .

يعتبر الملف ملفًا مصدرًا في حالة وجود أداة واحدة أو أكثر لإنشاء الملف ، وربما يتم تحويله إلى ملف مصدر آخر. يتضمن هذا الإصدار أداة إنشاء واحدة ، ترجمة ، والتي تترجم ملف مصدر Prolog (.pl) إلى ملف تحميل سريع (.ql).

تتضمن المشكلات المعروفة التحقق من الحدوث وعرض التحديث المنطقي والمتغيرات المنسوبة من بين أمور أخرى.