X-Prolog

xprolog

Пра гэту праграму

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 і бачныя на прыладах з параметрамі распрацоўніка. Праграма і інструменты абменьваюцца дадзенымі праз зменныя перадачы і адфарматаваны вывад. Гэты выпуск уключае трывіяльныя інструменты, прызначаныя для дэманстрацыі функцый інструментаў прыкладання.

Прыкладанне вызначае кропкі пашырэння, у якіх пераменныя перадачы даступныя (інструментам) і распазнаецца адфарматаваны вывад (інструментам). Інструмент можна наладзіць для ўкладу ў адну або некалькі кропак пашырэння, указаўшы кантэкстны тэрмін.

Тэрмін кантэксту - гэта тэрмін чытання формы кантэкст(Імя, Тыпы файлаў, Прыярытэт) , дзе Імя - гэта назва кропкі пашырэння, Тыпы файлаў > — гэта спіс прымальных тыпаў файлаў, а Прыярытэт — цэлы лік, не меншы за нуль, значэнне якога адрозніваецца ў залежнасці ад кропкі пашырэння.

Гэты выпуск вызначае тры кропкі пашырэння: build, edit і concile, якія дазваляюць інструментам уносіць свой уклад, адпаведна, у стварэнне праектаў, рэдагаванне зыходных файлаў і ўзгадненне зыходных мадэляў.

Каб пабудаваць праект, адкрыйце файл у верхнім каталогу праекта і націсніце Build. Каб экспартаваць праект у выканальны аб'ектны файл у лакальнай файлавай сістэме, націсніце Экспарт. Каб запусціць аб'ектны файл, націсніце Выканаць.

Файл лічыцца зыходным файлам, калі існуе адзін або некалькі інструментаў, якія ствараюць файл, магчыма, пераўтвараючы яго ў іншы зыходны файл. Гэты выпуск уключае адзіны інструмент зборкі, Compile, які пераводзіць зыходны файл Prolog (.pl) у файл хуткай загрузкі (.ql).

Вядомыя праблемы ўключаюць праверку ўзнікнення, прагляд лагічнага абнаўлення, атрыбутаваныя зменныя і іншыя.

Што новага

Initial release