X-Prolog

La descripción de X-Prolog

X-Prolog es un sistema de prólogo ligero destinado a facilitar la programación en Prolog en Android. La aplicación ejecuta programas de prólogo en una vista de la consola o como un servicio unido a una aplicación cliente. Un cliente de muestra está disponible en https://github.com/xprolog/sample-client.
tengo herramienta?
La aplicación depende de las herramientas definidas por el usuario para editar y construir proyectos. Las herramientas están escritas en prólogo 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 los puntos de extensión en los que se reconocen las variables de transferencia (a las herramientas) y se reconoce la salida formateada (de las herramientas). Se puede configurar una herramienta para contribuir a uno o más puntos de extensión especificando un término de contexto.
Un término de contexto es el término de lectura del formulario
contexto (nombre, tipos de archivos, prioridad)
, donde
nombre
es el nombre de un punto de extensión,
FileTypes
es una lista de tipos de archivos aceptables y
prioridad
es un número entero no menos que cero, El significado de lo que varía según el punto de extensión.
Esta versión define tres puntos de extensión:
construir, editar
y
conciliar
, que permite que las herramientas contribuyan a , respectivamente, construyendo proyectos, edición de archivos de origen y modelos de origen de conciliación.
Para crear un proyecto, abrir un archivo en el directorio superior del proyecto y haga clic en
construir
. Para exportar el proyecto a un archivo de objetos de ejecución en el sistema de archivos local, haga clic en
Exportar
. Para ejecutar el archivo de objeto, haga clic en
Ejecutar
.
Un archivo se considera un archivo de origen si existe una o más herramientas que crean el archivo, posiblemente transformándolo en otro archivo de origen. Esta versión incluye una sola herramienta de compilación,
compile
, que traduce un archivo fuente de prólogo (.pl) en un archivo de carga rápida (.ql).
Los problemas conocidos incluyen el cheques, Vista de actualización lógica, variables atribuidas entre otras.