X-Prolog
3,1star
120 reseñas
10 mil+
Descargas
Para todos
info
Información de la aplicación
X-Prolog es un sistema Prolog ligero destinado a facilitar la programación en Prolog en Android. La aplicación ejecuta programas Prolog en una vista de texto, una vista web o como un servicio vinculado a una aplicación cliente. Un cliente de muestra está disponible en https://github.com/xprolog/sample-client.
Tenga en cuenta que Google Play restringe el uso del permiso de acceso a todos los archivos en aplicaciones destinadas a Android 11 o posterior. Para instalar X-Prolog con permiso de acceso a todos los archivos, consulte https://github.com/xprolog/xp/releases.
¿Tienes una herramienta? La aplicación depende de herramientas definidas por el usuario para editar y crear proyectos. Las herramientas están escritas en Prolog y son visibles en dispositivos con opciones de desarrollador. La aplicación y las herramientas intercambian datos a través de variables de transferencia y salida formateada. Esta versión incluye herramientas triviales destinadas a demostrar la función de herramientas de la aplicación.
La aplicación define puntos de extensión en los que las variables de transferencia están disponibles (a las herramientas) y se reconoce la salida formateada (desde las herramientas). Una herramienta puede configurarse para contribuir a uno o más puntos de extensión especificando un término de contexto.
Un término de contexto es un término de lectura de la forma contexto(Nombre, Tipos de archivo, Prioridad) , donde Nombre es el nombre de un punto de extensión, Tipos de archivo es una lista de tipos de archivo aceptables y Prioridad es un número entero no menor que cero, cuyo significado varía según el punto de extensión.
Esta versión define tres puntos de extensión: construir, editar y reconciliar, que permiten que las herramientas contribuyan a, respectivamente, crear proyectos, editar archivos de origen y reconciliar modelos de origen.
Para compilar un proyecto, abra un archivo en el directorio superior del proyecto y haga clic en Crear. Para exportar el proyecto a un archivo de objeto ejecutable en el sistema de archivos local, haga clic en Exportar. Para ejecutar el archivo de objeto, haga clic en Ejecutar.
Un archivo se considera archivo fuente si existen una o más herramientas que construyen el archivo, posiblemente transformándolo en otro archivo fuente. Esta versión incluye una única herramienta de compilación, Compilar, que convierte un archivo fuente de Prolog (.pl) en un archivo de carga rápida (.ql).
Los problemas conocidos incluyen verificación de ocurrencias, vista de actualización lógica, variables atribuidas, entre otros.
Tenga en cuenta que Google Play restringe el uso del permiso de acceso a todos los archivos en aplicaciones destinadas a Android 11 o posterior. Para instalar X-Prolog con permiso de acceso a todos los archivos, consulte https://github.com/xprolog/xp/releases.
¿Tienes una herramienta? La aplicación depende de herramientas definidas por el usuario para editar y crear proyectos. Las herramientas están escritas en Prolog y son visibles en dispositivos con opciones de desarrollador. La aplicación y las herramientas intercambian datos a través de variables de transferencia y salida formateada. Esta versión incluye herramientas triviales destinadas a demostrar la función de herramientas de la aplicación.
La aplicación define puntos de extensión en los que las variables de transferencia están disponibles (a las herramientas) y se reconoce la salida formateada (desde las herramientas). Una herramienta puede configurarse para contribuir a uno o más puntos de extensión especificando un término de contexto.
Un término de contexto es un término de lectura de la forma contexto(Nombre, Tipos de archivo, Prioridad) , donde Nombre es el nombre de un punto de extensión, Tipos de archivo es una lista de tipos de archivo aceptables y Prioridad es un número entero no menor que cero, cuyo significado varía según el punto de extensión.
Esta versión define tres puntos de extensión: construir, editar y reconciliar, que permiten que las herramientas contribuyan a, respectivamente, crear proyectos, editar archivos de origen y reconciliar modelos de origen.
Para compilar un proyecto, abra un archivo en el directorio superior del proyecto y haga clic en Crear. Para exportar el proyecto a un archivo de objeto ejecutable en el sistema de archivos local, haga clic en Exportar. Para ejecutar el archivo de objeto, haga clic en Ejecutar.
Un archivo se considera archivo fuente si existen una o más herramientas que construyen el archivo, posiblemente transformándolo en otro archivo fuente. Esta versión incluye una única herramienta de compilación, Compilar, que convierte un archivo fuente de Prolog (.pl) en un archivo de carga rápida (.ql).
Los problemas conocidos incluyen verificación de ocurrencias, vista de actualización lógica, variables atribuidas, entre otros.
Última actualización
La seguridad empieza por entender cómo los desarrolladores recogen y comparten tus datos. Las prácticas de privacidad y seguridad de los datos pueden variar en función del modo en que utilices la aplicación, la región donde vayas a usarla y tu edad. El desarrollador ha proporcionado esta información y es posible que la actualice a lo largo del tiempo.
No se comparten datos con terceros
Más información sobre cómo los desarrolladores declaran lo que comparten
No se recogen datos
Más información sobre cómo los desarrolladores declaran lo que recogen
Valoraciones y reseñas
3,4
111 reseñas
Ťâýšøň
- Marcar como inapropiada
4 de abril de 2024
Tengo Android 11 y no me deja darle el acceso a todos los archivos
2 personas han valorado esta reseña como útil
Daniel Cueto
- Marcar como inapropiada
22 de julio de 2022
Estoy en Android 12, y no me permite darle el permiso de "acceso a todos los archivos"
4 personas han valorado esta reseña como útil
Emiliano Vásquez
- Marcar como inapropiada
- Mostrar historial de reseñas
26 de junio de 2020
this might be a dumb question but how do I make a new file? I only get the Invalid path error message. Edit: welp, I don't really need the app anymore, but I will bump the score for answering.
2 personas han valorado esta reseña como útil
xprolog
26 de junio de 2020
You create a new file by bringing into view the navigation drawer (by swiping from the left or clicking the menu button on the toolbar) and selecting File -> New. Choose a R/W folder (google "Android Storage Access" to know where those are), type a file name and click Save, then boom the newly created file is in the editor to be edited at will.
Novedades
Initial release
Asistencia de la aplicación
phone
Número de teléfono
+18578698701