X-Prolog

X-Prolog یک سیستم سبک وزن Prolog است که برای تسهیل برنامه نویسی در Prolog در اندروید طراحی شده است. این برنامه برنامه های Prolog را در نمای متنی، نمای وب یا به عنوان یک سرویس متصل به برنامه مشتری اجرا می کند. یک مشتری نمونه در https://github.com/xprolog/sample-client موجود است.

توجه داشته باشید که Google Play استفاده از مجوز دسترسی تمام فایل‌ها را در برنامه‌هایی که Android 11 یا بالاتر را هدف قرار می‌دهند، محدود می‌کند. برای نصب X-Prolog با مجوز دسترسی به فایل، به https://github.com/xprolog/xp/releases مراجعه کنید.

ابزار دارید؟ این برنامه به ابزارهای تعریف شده توسط کاربر برای ویرایش و ساخت پروژه ها بستگی دارد. ابزارها در Prolog نوشته شده اند و در دستگاه هایی با گزینه های توسعه دهنده قابل مشاهده هستند. برنامه و ابزارها از طریق متغیرهای انتقال و خروجی فرمت شده، داده ها را مبادله می کنند. این نسخه شامل ابزارهای بی اهمیتی است که برای نشان دادن ویژگی ابزارسازی برنامه در نظر گرفته شده است.

برنامه نقاط توسعه را تعریف می کند که در آن متغیرهای انتقال در دسترس هستند (به ابزارها) و خروجی فرمت شده (از ابزارها) شناسایی می شود. یک ابزار ممکن است برای کمک به یک یا چند نقطه توسعه با تعیین یک اصطلاح زمینه پیکربندی شود.

اصطلاح بافت عبارت خواندنی از فرم context(Name, FileTypes, Priority) است، که در آن Name نام یک نقطه پسوند است، FileTypes فهرستی از انواع فایل های قابل قبول است و اولویت یک عدد صحیح نه کمتر از صفر است که معنای آن بسته به نقطه پسوند متفاوت است.

این نسخه سه نقطه پسوند را تعریف می‌کند: build، edit و reconcile، که به ابزارها اجازه می‌دهد به ترتیب در ساخت پروژه‌ها، ویرایش فایل‌های منبع و تطبیق مدل‌های منبع مشارکت کنند.

برای ساختن یک پروژه، یک فایل را در دایرکتوری بالای پروژه باز کنید و روی ساخت کلیک کنید. برای صادر کردن پروژه به یک فایل شی قابل اجرا در سیستم فایل محلی، روی Export کلیک کنید. برای اجرای فایل شی، روی Run کلیک کنید.

اگر یک یا چند ابزار وجود داشته باشد که فایل را بسازد و احتمالاً آن را به فایل منبع دیگری تبدیل کند، یک فایل به عنوان فایل منبع در نظر گرفته می شود. این نسخه شامل یک ابزار ساخت واحد است، کامپایل، که یک فایل منبع Prolog (pl) را به یک فایل بارگذاری سریع (.ql) ترجمه می کند.

مسائل شناخته شده شامل بررسی رخ می دهد، نمایش به روز رسانی منطقی، متغیرهای نسبت داده شده در میان موارد دیگر است.