X-Prolog

Анализ И Преглед На Приложения За Android: X-Prolog, Разработен От xprolog. Изброени В Категория Образование. Текущата Версия Е 1.0.63, Актуализирана На 20/11/2022 . Според Прегледите На Потребителите В Google Play: X-Prolog. Постигнати Над 23 Хиляда Инсталации. В Момента X-Prolog Има 126 Отзива, Средна Оценка 3.1 Звезди

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

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

Read more