config.arm64_v8a

config.xxxhdpi

config.en

Everyone

xprolog

Lollipop

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).

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

X-Prolog

Последняя версия X-Prolog

Другие версии