Embedded Prolog Interpreter/Compiler for Java

Question

I\'m working on an application in Java, that needs to do some complex logic rule deductions as part of its functionality. I\'d like to code my logic deductions in Prolog or

Answer 1

Another worthwhile option I recently came across is JSetL. It's not a Prolog, but a constraint programming library for Java, with support for logic variables, unification, constraint solving and non-determinism.

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