Hi,
I am looking for a Java API to process prolog rules from a Java program. At the moment I am using JPL that comes with the SWI-Prolog distribution. My problem is that I can not get the derivation trace or proof of how a rule has processed. For example, if a rule has failed, I want to see on...