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.
_______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
