X-Prolog
3,1star
120 recensións
10.000+
Descargas
Todos
info
Acerca desta aplicación
X-Prolog é un sistema Prolog lixeiro destinado a facilitar a programación en Prolog en Android. A aplicación executa programas Prolog nunha vista de texto, vista web ou como un servizo vinculado a unha aplicación cliente. Hai un cliente de mostra dispoñible en https://github.com/xprolog/sample-client.
Teña en conta que Google Play restrinxe o uso do permiso de acceso a todos os ficheiros nas aplicacións dirixidas a Android 11 ou posterior. Para instalar X-Prolog con permiso de acceso a todos os ficheiros, consulte https://github.com/xprolog/xp/releases.
Tes ferramenta? A aplicación depende de ferramentas definidas polo usuario para editar e construír proxectos. As ferramentas están escritas en Prolog e son visibles en dispositivos con opcións de programador. A aplicación e as ferramentas intercambian datos mediante variables de transferencia e saída con formato. Esta versión inclúe ferramentas triviais destinadas a demostrar a función de ferramentas da aplicación.
A aplicación define puntos de extensión nos que as variables de transferencia están dispoñibles (para ferramentas) e recoñécese a saída formatada (desde ferramentas). Pódese configurar unha ferramenta para contribuír a un ou máis puntos de extensión especificando un termo de contexto.
Un termo de contexto é un termo de lectura da forma context(Nome, Tipos de ficheiros, Prioridade) , onde Nome é o nome dun punto de extensión, Tipos de ficheiros é unha lista de tipos de ficheiro aceptables e Prioridade é un número enteiro non inferior a cero, cuxo significado varía dependendo do punto de extensión.
Esta versión define tres puntos de extensión: construír, editar e reconciliar, que permiten que as ferramentas contribúan a construír proxectos, editar ficheiros fonte e conciliar modelos fonte, respectivamente.
Para crear un proxecto, abra un ficheiro no directorio superior do proxecto e prema en Construír. Para exportar o proxecto a un ficheiro de obxecto executable no sistema de ficheiros local, faga clic en Exportar. Para executar o ficheiro obxecto, faga clic en Executar.
Un ficheiro considérase ficheiro fonte se existe unha ou máis ferramentas que constrúen o ficheiro, posiblemente transformándoo noutro ficheiro fonte. Esta versión inclúe unha única ferramenta de compilación, Compilar, que traduce un ficheiro fonte de Prolog (.pl) nun ficheiro de carga rápida (.ql).
Os problemas coñecidos inclúen a comprobación de ocorrencias, a vista de actualización lóxica, as variables atribuídas, entre outros.
Teña en conta que Google Play restrinxe o uso do permiso de acceso a todos os ficheiros nas aplicacións dirixidas a Android 11 ou posterior. Para instalar X-Prolog con permiso de acceso a todos os ficheiros, consulte https://github.com/xprolog/xp/releases.
Tes ferramenta? A aplicación depende de ferramentas definidas polo usuario para editar e construír proxectos. As ferramentas están escritas en Prolog e son visibles en dispositivos con opcións de programador. A aplicación e as ferramentas intercambian datos mediante variables de transferencia e saída con formato. Esta versión inclúe ferramentas triviais destinadas a demostrar a función de ferramentas da aplicación.
A aplicación define puntos de extensión nos que as variables de transferencia están dispoñibles (para ferramentas) e recoñécese a saída formatada (desde ferramentas). Pódese configurar unha ferramenta para contribuír a un ou máis puntos de extensión especificando un termo de contexto.
Un termo de contexto é un termo de lectura da forma context(Nome, Tipos de ficheiros, Prioridade) , onde Nome é o nome dun punto de extensión, Tipos de ficheiros é unha lista de tipos de ficheiro aceptables e Prioridade é un número enteiro non inferior a cero, cuxo significado varía dependendo do punto de extensión.
Esta versión define tres puntos de extensión: construír, editar e reconciliar, que permiten que as ferramentas contribúan a construír proxectos, editar ficheiros fonte e conciliar modelos fonte, respectivamente.
Para crear un proxecto, abra un ficheiro no directorio superior do proxecto e prema en Construír. Para exportar o proxecto a un ficheiro de obxecto executable no sistema de ficheiros local, faga clic en Exportar. Para executar o ficheiro obxecto, faga clic en Executar.
Un ficheiro considérase ficheiro fonte se existe unha ou máis ferramentas que constrúen o ficheiro, posiblemente transformándoo noutro ficheiro fonte. Esta versión inclúe unha única ferramenta de compilación, Compilar, que traduce un ficheiro fonte de Prolog (.pl) nun ficheiro de carga rápida (.ql).
Os problemas coñecidos inclúen a comprobación de ocorrencias, a vista de actualización lóxica, as variables atribuídas, entre outros.
Última actualización
A seguranza pasa por entender como recompilan e comparten os teus datos os programadores. As prácticas relacionadas coa seguranza e a privacidade dos datos utilizadas poden variar en función do uso, a rexión e a idade. O programador facilitou esta información e pode modificala co paso do tempo.
Non se comparten datos con terceiros
Máis información sobre como fan os programadores declaracións acerca dos datos que comparten
Non se recompila ningún dato
Máis información sobre como fan os programadores declaracións acerca da recompilación de datos
Valoracións e recensións
3,4
111 recensións
Novidades
Initial release
Servizo de asistencia da aplicación
phone
Número de teléfono
+18578698701