X-Prolog APK 1.0.63

X-Prolog je lehký systém Prolog určený k usnadnění programování v Prologu na Androidu. Aplikace spouští programy Prolog v textovém zobrazení, webovém zobrazení nebo jako služba vázaná na klientskou aplikaci. Ukázkový klient je k dispozici na https://github.com/xprolog/sample-client.

Upozorňujeme, že Google Play omezuje použití oprávnění pro přístup ke všem souborům v aplikacích cílených na Android 11 nebo novější. Chcete-li nainstalovat X-Prolog s oprávněním pro přístup ke všem souborům, přejděte na https://github.com/xprolog/xp/releases.

máte nástroj? Aplikace závisí na uživatelsky definovaných nástrojích pro úpravy a vytváření projektů. Nástroje jsou napsány v Prologu a jsou viditelné na zařízeních s vývojářskými možnostmi. Aplikace a nástroje si vyměňují data prostřednictvím přenosu proměnných a formátovaného výstupu. Tato verze obsahuje triviální nástroje určené k demonstraci funkce nástrojů aplikace.

Aplikace definuje body rozšíření, ve kterých jsou k dispozici přenosové proměnné (do nástrojů) a je rozpoznán formátovaný výstup (z nástrojů). Nástroj může být nakonfigurován tak, aby přispíval k jednomu nebo více bodům rozšíření zadáním kontextového termínu.

Kontextový výraz je čtený výraz ve tvaru kontext(Název, Typy souborů, Priorita) , kde Název je název bodu rozšíření, Typy souborů je seznam přijatelných typů souborů a Priorita je celé číslo ne menší než nula, jehož význam se liší v závislosti na bodu rozšíření.

Toto vydání definuje tři body rozšíření: build, edit a reconcile, které umožňují nástrojům přispívat do stavebních projektů, upravovat zdrojové soubory a sladit zdrojové modely.

Chcete-li sestavit projekt, otevřete soubor v horním adresáři projektu a klikněte na Vytvořit. Chcete-li exportovat projekt do souboru spustitelných objektů v místním systému souborů, klikněte na Exportovat. Chcete-li spustit soubor objektu, klikněte na Spustit.

Soubor je považován za zdrojový soubor, pokud existuje jeden nebo více nástrojů, které soubor vytvářejí, případně jej transformují na jiný zdrojový soubor. Toto vydání obsahuje jediný nástroj pro sestavení, Compile, který překládá zdrojový soubor Prologu (.pl) na soubor pro rychlé načtení (.ql).

Mezi známé problémy patří mimo jiné kontrola výskytu, zobrazení logické aktualizace, přiřazené proměnné.