X-Prolog

X-Prolog è un sistema Prolog leggero destinato a facilitare la programmazione in Prolog su Android. L'app esegue i programmi Prolog in una visualizzazione testo, visualizzazione Web o come servizio associato a un'app client. Un client di esempio è disponibile all'indirizzo https://github.com/xprolog/sample-client.

Tieni presente che Google Play limita l'uso dell'autorizzazione di accesso a tutti i file nelle app destinate ad Android 11 o versioni successive. Per installare X-Prolog con il permesso di accesso a tutti i file, fare riferimento a https://github.com/xprolog/xp/releases.

Hai uno strumento? L'app dipende da strumenti definiti dall'utente per la modifica e la creazione di progetti. Gli strumenti sono scritti in Prolog e sono visibili sui dispositivi con opzioni sviluppatore. L'app e gli strumenti si scambiano dati tramite variabili di trasferimento e output formattato. Questa versione include strumenti banali destinati a dimostrare la funzionalità degli strumenti dell'app.

L'app definisce i punti di estensione in cui le variabili di trasferimento sono disponibili (agli strumenti) e l'output formattato (dagli strumenti) viene riconosciuto. Uno strumento può essere configurato per contribuire a uno o più punti di estensione specificando un termine di contesto.

Un termine di contesto è un termine di lettura nella forma context(Name, FileTypes, Priority) , dove Name è il nome di un punto di estensione, FileTypes è un elenco di tipi di file accettabili e Priorità è un numero intero non inferiore a zero, il cui significato varia a seconda del punto di estensione.

Questa versione definisce tre punti di estensione: crea, modifica e riconcilia, che consentono agli strumenti di contribuire, rispettivamente, alla creazione di progetti, alla modifica dei file di origine e alla riconciliazione dei modelli di origine.

Per creare un progetto, apri un file nella directory superiore del progetto e fai clic su Crea. Per esportare il progetto in un file oggetto eseguibile sul file system locale, fare clic su Esporta. Per eseguire il file oggetto, fai clic su Esegui.

Un file è considerato file di origine se esistono uno o più strumenti che creano il file, eventualmente trasformandolo in un altro file di origine. Questa versione include un unico strumento di compilazione, Compila, che traduce un file sorgente Prolog (.pl) in un file a caricamento rapido (.ql).

I problemi noti includono il controllo degli eventi, la visualizzazione dell'aggiornamento logico, le variabili attribuite tra gli altri.