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 en 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 sencillo y más fácil de mantener.

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

debe ser integrable en Java (por ejemplo, se puede empaquetar con mi paquete java en lugar de requerir instalaciones nativas en programas externos)Interfaz simple para usar desde Java (para iniciar deducciones, inspeccionar resultados y agregar reglas)Viene 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 también se adaptarían a mis necesidades.

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