X-Prolog

Az X-Prolog egy könnyű Prolog rendszer, amely megkönnyíti a Prolog programozást Androidon. Az alkalmazás a Prolog programokat szöveges nézetben, webes nézetben vagy ügyfélalkalmazáshoz kötött szolgáltatásként futtatja. Egy példakliens a https://github.com/xprolog/sample-client címen érhető el.

Vegye figyelembe, hogy a Google Play korlátozza az összes fájlhoz való hozzáférést az Android 11 vagy újabb rendszert célzó alkalmazásokban. Az X-Prolog teljes fájl-hozzáférési engedéllyel történő telepítéséhez látogasson el a https://github.com/xprolog/xp/releases webhelyre.

van eszköze?

Az alkalmazás a felhasználó által meghatározott eszközöktől függ a projektek szerkesztéséhez és felépítéséhez. Az eszközök Prologban vannak megírva, és a fejlesztői beállításokkal rendelkező eszközökön láthatók. Az alkalmazás és az eszközök adatokat cserélnek változók átvitelén és formázott kimeneten keresztül. Ez a kiadás triviális eszközöket tartalmaz, amelyek az alkalmazás szerszámozási funkciójának bemutatására szolgálnak.

Az alkalmazás meghatározza a kiterjesztési pontokat, ahol az átviteli változók elérhetők (az eszközökhöz), és a formázott kimenetet (az eszközökből) felismeri. Egy eszköz beállítható úgy, hogy egy vagy több kiterjesztési ponthoz hozzájáruljon egy kontextuskifejezés megadásával.

A kontextus kifejezés

context(Név, Fájltípusok, Prioritás)

formátumú olvasási kifejezés, ahol a

Név

egy kiterjesztési pont neve,

Fájltípusok

> az elfogadható fájltípusok listája, a

Priority

pedig egy nullánál nem kisebb egész szám, amelynek jelentése a kiterjesztési ponttól függően változik.

Ez a kiadás három bővítési pontot határoz meg:

build, edit

és

reconcile

, amelyek lehetővé teszik, hogy az eszközök hozzájáruljanak projektek felépítéséhez, forrásfájlok szerkesztéséhez és forrásmodellek egyeztetéséhez.

Projekt felépítéséhez nyisson meg egy fájlt a projekt felső könyvtárában, és kattintson a

Build

gombra. Ha a projektet futtatható objektumfájlba szeretné exportálni a helyi fájlrendszeren, kattintson az

Exportálás

gombra. Az objektumfájl futtatásához kattintson a

Futtatás

gombra.

Egy fájl akkor tekinthető forrásfájlnak, ha létezik egy vagy több eszköz, amely a fájlt összeállítja, esetleg egy másik forrásfájllá alakítja át. Ez a kiadás egyetlen összeállítási eszközt tartalmaz, a

Compile

-t, amely a Prolog-forrásfájlt (.pl) gyorsan betölthető fájllá (.ql) fordítja le.

Az ismert problémák közé tartozik többek között az előfordulás ellenőrzése, a logikai frissítési nézet, a hozzárendelt változók.