X-Prolog on kerge Prolog-süsteem, mis on mõeldud Androidi Prologi programmeerimise hõlbustamiseks. Rakendus käitab Prologi programme tekstivaates, veebivaates või kliendirakendusega seotud teenusena. Näidisklient on saadaval aadressil https://github.com/xprolog/sample-client.
Pange tähele, et Google Play piirab kõikidele failidele juurdepääsu loa kasutamist rakendustes, mis sihivad operatsioonisüsteemi Android 11 või uuemat versiooni. Kõigile failidele juurdepääsu loaga X-Prologi installimiseks vaadake https://github.com/xprolog/xp/releases.
Kas teil on tööriist? Rakendus sõltub kasutaja määratud tööriistadest projektide redigeerimiseks ja koostamiseks. Tööriistad on kirjutatud Prologis ja on nähtavad arendaja valikutega seadmetes. Rakendus ja tööriistad vahetavad andmeid edastusmuutujate ja vormindatud väljundi kaudu. See väljalase sisaldab triviaalseid tööriistu, mis on mõeldud rakenduse tööriistafunktsiooni demonstreerimiseks.
Rakendus määratleb laienduspunktid, kus edastusmuutujad on saadaval (tööriistadele) ja vormindatud väljund (tööriistadest) tuvastatakse. Tööriista võib konfigureerida kaasa aitama ühte või mitmesse laienduspunkti, määrates kontekstitermini.
Kontekstitermin on lugemistermin kujul kontekst(nimi, failitüübid, prioriteet) , kus nimi on laienduspunkti nimi, failitüübid on vastuvõetavate failitüüpide loend ja Priority on täisarv, mis ei ole väiksem kui null, mille tähendus sõltub laienduspunktist.
See väljalase määratleb kolm laienduspunkti: ehitamine, redigeerimine ja ühildamine, mis võimaldavad tööriistadel kaasa aidata vastavalt projektide koostamisel, lähtefailide redigeerimisel ja lähtemudelite kooskõlastamisel.
Projekti koostamiseks avage fail projekti ülemises kataloogis ja klõpsake käsul Ehita. Projekti eksportimiseks kohalikus failisüsteemis käivitatavasse objektifaili klõpsake Ekspordi. Objektifaili käivitamiseks klõpsake Käivita.
Faili loetakse lähtefailiks, kui on olemas üks või mitu tööriista, mis faili loovad, muutes selle võimalusel teiseks lähtefailiks. See väljalase sisaldab ühte ehitustööriista Compile, mis tõlgib Prologi lähtefaili (.pl) kiirlaadimisfailiks (.ql).
Tuntud probleemide hulka kuuluvad muu hulgas esinemiskontroll, loogiline värskendusvaade, omistatud muutujad.
Värskendatud:
20. nov 2022