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
Two commercial Prologs written in Java: Minerva by IF Computer Japan and Jekejeke. Both are very close to ISO.