config.arm64_v8a

config.xxxhdpi

config.es

Everyone

xprolog

Lollipop

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.

X-Prolog

Última versión de X-Prolog

Otras versiones