X-Prolog
3,1star
126 ressenyes
10 k+
Baixades
Per a tots els públics
info
Sobre l'aplicació
X-Prolog és un sistema Prolog lleuger destinat a facilitar la programació a Prolog a Android. L'aplicació executa programes Prolog en una vista de text, vista web o com a servei vinculat a una aplicació client. Hi ha un client de mostra disponible a https://github.com/xprolog/sample-client.
Tingueu en compte que Google Play restringeix l'ús del permís d'accés a tots els fitxers a les aplicacions orientades a Android 11 o posterior. Per instal·lar X-Prolog amb permís d'accés a tots els fitxers, consulteu https://github.com/xprolog/xp/releases.
Tens una eina? L'aplicació depèn de les eines definides per l'usuari per editar i crear projectes. Les eines estan escrites a Prolog i són visibles en dispositius amb opcions de desenvolupador. L'aplicació i les eines intercanvien dades mitjançant variables de transferència i sortida amb format. Aquesta versió inclou eines trivials destinades a demostrar la funció d'eines de l'aplicació.
L'aplicació defineix els punts d'extensió en què les variables de transferència estan disponibles (a les eines) i es reconeix la sortida amb format (des de les eines). Es pot configurar una eina per contribuir a un o més punts d'extensió especificant un terme de context.
Un terme de context és un terme de lectura de la forma context(Nom, Tipus de fitxer, Prioritat) , on Nom és el nom d'un punt d'extensió, Tipus de fitxer és una llista de tipus de fitxer acceptables i Prioritat és un nombre enter no inferior a zero, el significat del qual varia segons el punt d'extensió.
Aquesta versió defineix tres punts d'extensió: construir, editar i reconciliar, que permeten que les eines contribueixin, respectivament, a crear projectes, editar fitxers font i conciliar models font.
Per crear un projecte, obriu un fitxer al directori superior del projecte i feu clic a Crea. Per exportar el projecte a un fitxer d'objectes executable al sistema de fitxers local, feu clic a Exporta. Per executar el fitxer objecte, feu clic a Executar.
Un fitxer es considera fitxer font si existeix una o més eines que el construeixen, possiblement transformant-lo en un altre fitxer font. Aquesta versió inclou una única eina de compilació, Compile, que tradueix un fitxer font Prolog (.pl) a un fitxer de càrrega ràpida (.ql).
Els problemes coneguts inclouen la comprovació d'ocorres, la vista d'actualització lògica, les variables atribuïdes, entre d'altres.
Tingueu en compte que Google Play restringeix l'ús del permís d'accés a tots els fitxers a les aplicacions orientades a Android 11 o posterior. Per instal·lar X-Prolog amb permís d'accés a tots els fitxers, consulteu https://github.com/xprolog/xp/releases.
Tens una eina? L'aplicació depèn de les eines definides per l'usuari per editar i crear projectes. Les eines estan escrites a Prolog i són visibles en dispositius amb opcions de desenvolupador. L'aplicació i les eines intercanvien dades mitjançant variables de transferència i sortida amb format. Aquesta versió inclou eines trivials destinades a demostrar la funció d'eines de l'aplicació.
L'aplicació defineix els punts d'extensió en què les variables de transferència estan disponibles (a les eines) i es reconeix la sortida amb format (des de les eines). Es pot configurar una eina per contribuir a un o més punts d'extensió especificant un terme de context.
Un terme de context és un terme de lectura de la forma context(Nom, Tipus de fitxer, Prioritat) , on Nom és el nom d'un punt d'extensió, Tipus de fitxer és una llista de tipus de fitxer acceptables i Prioritat és un nombre enter no inferior a zero, el significat del qual varia segons el punt d'extensió.
Aquesta versió defineix tres punts d'extensió: construir, editar i reconciliar, que permeten que les eines contribueixin, respectivament, a crear projectes, editar fitxers font i conciliar models font.
Per crear un projecte, obriu un fitxer al directori superior del projecte i feu clic a Crea. Per exportar el projecte a un fitxer d'objectes executable al sistema de fitxers local, feu clic a Exporta. Per executar el fitxer objecte, feu clic a Executar.
Un fitxer es considera fitxer font si existeix una o més eines que el construeixen, possiblement transformant-lo en un altre fitxer font. Aquesta versió inclou una única eina de compilació, Compile, que tradueix un fitxer font Prolog (.pl) a un fitxer de càrrega ràpida (.ql).
Els problemes coneguts inclouen la comprovació d'ocorres, la vista d'actualització lògica, les variables atribuïdes, entre d'altres.
Data d'actualització:
La seguretat comença per entendre com els desenvolupadors recullen i comparteixen les teves dades. Les pràctiques de privadesa i seguretat de les dades poden variar segons l'ús que es fa de l'aplicació, la regió i l'edat. El desenvolupador ha proporcionat aquesta informació i és possible que l'actualitzi al llarg del temps.
No es comparteixen dades amb tercers
Més informació sobre com els desenvolupadors declaren la compartició de dades
No es recullen dades
Més informació sobre com els desenvolupadors declaren la recollida de dades
Puntuacions i ressenyes
3,4
116 ressenyes
Novetats
Initial release
Assistència de l'aplicació
phone
Número de telèfon
+18578698701
Sobre el desenvolupador
Atef Suleiman
info.xprolog@gmail.com
United States
undefined