X-Prolog

X-Prolog este un sistem Prolog ușor destinat să faciliteze programarea în Prolog pe Android. Aplicația rulează programe Prolog într-o vizualizare text, vizualizare web sau ca un serviciu legat de o aplicație client. Un exemplu de client este disponibil la https://github.com/xprolog/sample-client.

Rețineți că Google Play restricționează utilizarea permisiunii de acces la toate fișierele în aplicațiile care vizează Android 11 sau o versiune ulterioară. Pentru a instala X-Prolog cu permisiunea de acces la toate fișierele, consultați https://github.com/xprolog/xp/releases.

ai instrument?

Aplicația depinde de instrumentele definite de utilizator pentru editarea și construirea proiectelor. Instrumentele sunt scrise în Prolog și sunt vizibile pe dispozitivele cu opțiuni de dezvoltator. Aplicația și instrumentele fac schimb de date prin variabile de transfer și rezultate formatate. Această versiune include instrumente banale menite să demonstreze funcția de instrumente a aplicației.

Aplicația definește punctele de extensie în care variabilele de transfer sunt disponibile (la instrumente) și este recunoscută ieșirea formatată (din instrumente). Un instrument poate fi configurat pentru a contribui la unul sau mai multe puncte de extensie prin specificarea unui termen de context.

Un termen de context este un termen de citire de forma

context(Nume, Tipuri de fișiere, Prioritate)

, unde

Nume

este numele unui punct de extensie,

Tipuri de fișiere

este o listă de tipuri de fișiere acceptabile și

Prioritate

este un număr întreg nu mai mic de zero, al cărui semnificație variază în funcție de punctul de extensie.

Această versiune definește trei puncte de extensie:

build, edit

și

reconcilie

, care permit instrumentelor să contribuie la construirea proiectelor, la editarea fișierelor sursă și la reconcilierea modelelor sursă.

Pentru a construi un proiect, deschideți un fișier în directorul de sus al proiectului și faceți clic pe

Build

. Pentru a exporta proiectul într-un fișier obiect rulabil pe sistemul de fișiere local, faceți clic pe

Export

. Pentru a rula fișierul obiect, faceți clic pe

Run

.

Un fișier este considerat fișier sursă dacă există unul sau mai multe instrumente care construiesc fișierul, eventual transformându-l într-un alt fișier sursă. Această versiune include un singur instrument de compilare,

Compile

, care traduce un fișier sursă Prolog (.pl) într-un fișier de încărcare rapidă (.ql).

Problemele cunoscute includ verificarea evenimentelor, vizualizarea actualizării logice, variabilele atribuite, printre altele.