X-Prolog

Описание для X-Prolog

X-Prolog - это легкая пролог, предназначенная для облегчения программирования в прологе на Android. Приложение проводит программы пролога в представлении консоли или в качестве связанного сервиса к приложению клиента. Образец клиента доступен в https://github.com/xprolog/sample-client.
Получил инструмент?
Приложение зависит от пользовательских инструментов для редактирования и строительства проектов. Инструменты написаны в прологе и видны на устройствах с параметрами разработчика. Приложение и инструменты обмениваются данными через переменные переноса и отформатированные выходные данные. Этот выпуск включает в себя тривиальные инструменты, предназначенные для демонстрации функции инструмента приложения.
Приложение определяет точки расширения, при которых доступны переменные передачи (в инструменты), и отформатирован вывод (из инструментов). Инструмент может быть сконфигурирован, чтобы способствовать одному или нескольким точкам расширения, указав контекстный термин.
Коэффициент контекста - это срок чтения формы
Контекст (имя, файлы, файлы, приоритет)
, где
имя
- это имя точки расширения,
filetypes
- это список приемлемых типов файлов, а
приоритет
- это целое число не менее ноль, Смысл которого варьируется в зависимости от точки расширения.
Этот релиз определяет три точки расширения:
Building, редактировать
и
Reconcile
, которые позволяют инструменты внести свой вклад в Соответственно, строительные проекты, редактирование моделей исходных файлов и моделей примирения.
Для создания проекта открыть файл в главной каталоге проекта и нажмите
Build
. Чтобы экспортировать проект в файл объекта Runnable в локальной файловой системе, нажмите
Export
. Чтобы запустить объектный файл, нажмите
RUN
.
Файл считается исходным файлом, если существует один или несколько инструментов, которые создают файл, возможно преобразовав его в другой исходный файл. Этот выпуск включает в себя один инструмент сборки,
Compiold
, который переводит исходный файл пролога (.pl) в файл быстрого нагрузки (.QL).
Известные проблемы включают в себя проверку, Просмотр логического обновления, приписанные переменные среди прочего.