Java API for using Prolog in java

[Syed Muhammad Ali Shah]

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 which particular rule it failed. Can anyone please hint on some API that can provide the rule derivation tree/trace/proof/debug information?

Any help will be much appreciated.

Thanks.

Ali
Massey University,
New Zealand.