Java API for using Prolog in java

Syed Muhammad Ali Shah <[email protected]>
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.