X-Prolog

X-Prolog es un sistema Prolog ligero.

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 a todos los archivos en aplicaciones destinadas a Android 11 o posterior. Para instalar X-Prolog con permiso de a todos los archivos, consulte https://github.com/xprolog/xp/releases.

¿Tienes una herramienta? La aplicación depende de herramientas definidas por el 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.