X-Prolog

X-Prolog è un sistema di prolog leggero destinato a facilitare la programmazione in Prolog su Android. L'app esegue programmi Prolog in una vista console o come servizio rilegato a un'applicazione client. Un client di esempio è disponibile su https://github.com/xprolog/sample-client.
GOT TOOL?
L'app dipende dagli strumenti definiti dall'utente per la modifica e la costruzione di progetti. Gli strumenti sono scritti in Prolog e sono visibili su dispositivi con opzioni di sviluppo. L'app e gli strumenti scambiano dati tramite variabili di trasferimento e output formattato. Questa versione include strumenti banale destinati a dimostrare la funzione di utensili dell'app.
L'app definisce i punti di estensione in cui sono disponibili variabili di trasferimento (su strumenti) e l'output formattato (dagli strumenti) è riconosciuto. Uno strumento può essere configurato per contribuire a uno o più punti di estensione specificando un termine di contesto.
Un termine di contesto è il termine di lettura del modulo
contesto (nome, filetipi, priorità)
, dove
Nome
è il nome di un punto di prolunga,
FileTypes
è un elenco di tipi di file accettabili e
priorità
è un numero intero non inferiore a zero, il significato di cui varia a seconda del punto di estensione.
Questa versione definisce tre punti di estensione:
Build, Modifica
e
Riconciling
, che consente agli strumenti di contribuire a , rispettivamente, costruendo progetti, modifica di file di origine e modelli di origine con riconciliazione.
Per creare un progetto, aprire un file nella directory principale del progetto e fare clic su
Build
. Per esportare il progetto in un file oggetto runnicabile sul file system locale, fare clic su
Esporta
. Per eseguire il file oggetto, fare clic su
Esegui
.
Un file è considerato un file di origine se esiste uno o più strumenti che costruiscono il file, possibilmente trasformandolo in un altro file sorgente. Questa versione include un singolo strumento di costruzione,
Compile
, che traduce un file sorgente di Prolog (.pl) in un file di caricamento rapido (.QL).
I problemi noti includono verifica Vista logica dell'aggiornamento, variabili attribuite tra gli altri.