X-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 і видимі на пристроях із параметрами розробника. Програма та інструменти обмінюються даними через змінні передачі та відформатований вихід. Цей випуск містить тривіальні інструменти, призначені для демонстрації функції інструментів програми.

Додаток визначає точки розширення, у яких змінні передачі доступні (інструментам) і розпізнаються форматовані виведення (інструментам). Інструмент може бути налаштований для внесення до однієї або кількох точок розширення, вказавши контекстний термін.

Контекстний термін є терміном читання у формі

context(Name, FileTypes, Priority)

, де

Name

— це ім’я точки розширення,

FileTypes

— список прийнятних типів файлів, а

Пріоритет

— ціле число, не менше нуля, значення якого змінюється залежно від точки розширення.

У цьому випуску визначено три точки розширення:

build, edit

і

concile

, які дозволяють інструментам робити внески відповідно до створення проектів, редагування вихідних файлів і узгодження вихідних моделей.

Щоб створити проект, відкрийте файл у верхньому каталозі проекту та натисніть

Створити

. Щоб експортувати проект у виконуваний об’єктний файл у локальній файловій системі, натисніть

Експортувати

. Щоб запустити об’єктний файл, натисніть

Запустити

.

Файл вважається вихідним, якщо існує один або кілька інструментів, які створюють файл, можливо, перетворюючи його на інший вихідний файл. Цей випуск містить єдиний інструмент збірки,

Compile

, який перетворює вихідний файл Prolog (.pl) у файл швидкого завантаження (.ql).

Відомі проблеми включають перевірку випадків, перегляд логічного оновлення, приписані змінні та інші.