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.

Есть инструмент?

Приложение зависит от определяемых пользователем инструментов для редактирования и создания проектов. Инструменты написаны на Прологе и видны на устройствах с опциями разработчика. Приложение и инструменты обмениваются данными посредством переноса переменных и форматированного вывода. Этот выпуск включает тривиальные инструменты, предназначенные для демонстрации функциональных возможностей приложения.

Приложение определяет точки расширения, в которых доступны переменные передачи (в инструменты) и распознается форматированный вывод (из инструментов). Инструмент может быть настроен для участия в одной или нескольких точках расширения путем указания термина контекста.

Термин контекста — это термин для чтения в форме

context(Name, FileTypes, Priority)

, где

Name

— это имя точки расширения,

FileTypes

— список допустимых типов файлов, а

Priority

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

В этом выпуске определены три точки расширения:

сборка, редактирование

и

согласование

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

Чтобы собрать проект, откройте файл в верхнем каталоге проекта и нажмите

Build

. Чтобы экспортировать проект в исполняемый объектный файл в локальной файловой системе, нажмите

Экспорт

. Чтобы запустить объектный файл, нажмите

Выполнить

.

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

Compile

, который преобразует исходный файл Prolog (.pl) в файл быстрой загрузки (.ql).

Известные проблемы включают проверку событий, представление логического обновления, атрибутивные переменные и другие.