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

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