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

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

Контекстният термин е термин за четене във формата

контекст(Име, Типове файлове, Приоритет)

, където

Име

е името на точка на разширение,

Типове файлове

е списък с приемливи типове файлове и

Приоритет

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

Това издание дефинира три точки на разширение:

изграждане, редактиране

и

съгласуване

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

За да изградите проект, отворете файл в горната директория на проекта и щракнете върху

Изграждане

. За да експортирате проекта в стартиращ обектен файл в локалната файлова система, щракнете върху

Експортиране

. За да стартирате обектния файл, щракнете върху

Изпълни

.

Един файл се счита за изходен файл, ако съществува един или повече инструменти, които изграждат файла, като евентуално го трансформират в друг изходен файл. Тази версия включва един инструмент за изграждане,

Compile

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

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