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
According to Wikipedia, the following versions of Prolog have Java interfaces. I've linked to the main pages for them:
Good luck with your search!