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
There are a number of Prolog implementations in Java. They are not terribly fast, but convenient to use from within Java.
Examples are:
TuProlog or
PrologCafe
You can also have a look at the following Bachelor's thesis on the subject of
Execution and Analysis of Prolog Programs in Java.