Intérprete/compilador Prolog integrado para Java

Question

Estoy trabajando en una aplicación en Java, que necesita hacer algunas deducciones de reglas lógicas complejas como parte de su funcionalidad. Me gustaría codificar mis deducciones lógicas en Prolog o algún otro lenguaje de programación de lógica/restricción, en lugar de Java, ya que creo que el código resultante será significativamente más simple y más fácil de mantener.

Busqué en Google las implementaciones de Java incrustadas en Prolog, y encontré el número de ellas, cada una con muy poca documentación. Mis criterios (modesta) de selección son:

• debe ser integrable en Java (por ejemplo, se pueden agrupar con mi paquete de java en lugar de requerir ninguna instalación nativos en programas externos)
• interfaz fácil de usar desde Java (por iniciar deducciones, inspeccionar resultados y agregar reglas)
• vienen con al menos algunos ejemplos sobre cómo usarlo
• no necesariamente tiene que ser Prolog, pero otros lenguajes de programación de lógica/restricción con los criterios anteriores se adaptarían mis necesidades, también.

¿Qué opciones tengo y cuáles son sus ventajas y desventajas?

Answer 1

De acuerdo con Wikipedia, las siguientes versiones de Prolog tienen interfaces Java. Me he vinculado a las páginas principales para ellos:

• BProlog
• Ciao Prolog
• SICStus Prolog
• SWI Prolog
• TuProlog (implementado en Java)
• LPA Prolog

¡Buena suerte con su búsqueda!

Answer 2

SWI prolog Una implementación muy popular parece tener un Java interface as does SiCStus que sería más fácil que usar JNI para crear una instancia en su proceso de Java. He usado ambos de C hace bastante tiempo y los recomiendo. Mi preferencia sería SWI, ya que es de código abierto y, desde mi experiencia, la implementación de facto.

La documentación para la interfaz Java de SWI parece ser adecuada, y el proceso de incorporación bastante sencillo.

Answer 3

Amzi prolog ha estado presente por un tiempo. Lo he usado brevemente pero no la versión incrustada. sin embargo, tienen buena documentación y se puede comprar soporte. Tienen puerto Java, por lo que valdría la pena echarle un vistazo.

Answer 4

He tenido que hacer lo mismo hace 2 años. Usé SWI interface which is called JPL. Le permite cargar un archivo Prolog, afirmarlo y consultar sobre él. Requiere una instalación de SWI Prolog, pero eso no es problema en absoluto. SWI Prolog es available for many platforms.

También probé alternativas que se implementaron al 100% en Java y no requerían programas externos. Todos ellos tenían errores o eran difíciles de usar. No pierdas tu tiempo.

Answer 5

Prova 3.0 http://www.prova.ws está por terminarse. Sin embargo, no es solo otro Prolog sino una combinación de estilos de programación, en particular, útil para la integración bidireccional de Java, la programación de agente reactivo, la integración con ESB, la lógica de flujo de trabajo y el procesamiento de eventos. Esta versión es una reescritura completa desde cero, por lo que algunas características más antiguas, como la integración OWL, faltan, pero están destinadas a regresar en la próxima revisión.

Answer 6

Hay Mini-Kanren for Scala, que le ofrece una implementación nativa de JVM de un lenguaje de programación lógico basado en Horn-clause esbelto, hackable y moderno.

Answer 7

LPA sí ofrece el servidor de LPA Inteligencia como una forma de incrustar su motor de Prolog dentro de toda una variedad de idiomas principales incluyendo Java, .Net, etc.

Clive

http://www.lpa.co.uk/int.htm

Answer 8

Otra opción que vale la pena I Recientemente me encontré con JSetL. No es un Prolog, sino una biblioteca de programación de restricciones para Java, con soporte para variables lógicas, unificación , resolución de restricciones y no determinismo.

http://prmat.math.unipr.it/~gianfr/JSetL/index.html

Answer 9

Hay una serie de implementaciones Prolog en Java. No son terriblemente rápidos, pero son cómodos de usar desde Java. ejemplos son: TuProlog o PrologCafe También puede echar un vistazo a la tesis de la siguiente Licenciatura sobre el tema de Execution and Analysis of Prolog Programs in Java.

Answer 10

También puede echar un vistazo a the Prol engine que creé. Le permite incrustar Prolog en sus programas Java (pero no es muy rápido)

Answer 11

Dos Prologs comerciales escritos en Java: Minerva por IF Computer Japan y Jekejeke. Ambos están muy cerca de ISO.

Answer 12

Clojure es un lenguaje parecido a Lisp basado en JVM con una biblioteca (core.logic) que admite lógica y programación basada en restricciones. Clojure también tiene una gran cantidad de instalaciones para generar clases de Java y working with java code, por lo que la interoperabilidad entre los dos idiomas es trivial.

Answer 13

profesor Paul Tarau puestos a disposición de his page varias implementaciones

Jinni Prolog

Kernel Prolog