Hello,
We have created some rule base in Prolog for some industrial application. Now
we want to create queries through Java APIs and subsequently fire them to
Prolog interpreter on this rule base. Specifically, we are using
"gnuprologjava-0.2.5 " API . However, we are having problem creating queries
which has a term involving function symbol inside a query predicate by using
this API. For example, consider the following query,
:- isSonOf(brother(Paul), John).
We cannot create the term brother(Paul) using this API, where `brother' is a
function symbol in the vocabulary.
Can you please suggest us how to create such terms using the above API?
Regards,
--Suman
Suman Roy, Ph.D.
Infosys LABS,
Infosys Technologies Ltd.,
Bldg.-19, # 44 Electronics City, Hosur Road,
Bangalore 560 100, India.
Tel. +91 80 2852 0261 x 50850
+91 80 4116 3850 (D)
+91 80 2351 2373 (R)
+91 98860 23203 (M)
Fax. +91 80 2852 0362
E-mail [email protected]<mailto:[email protected]>
<mailto:[email protected]>
[email protected]<mailto:[email protected]> <mailto:[email protected]>
**************** CAUTION - Disclaimer *****************
This e-mail contains PRIVILEGED AND CONFIDENTIAL INFORMATION intended solely
for the use of the addressee(s). If you are not the intended recipient, please
notify the sender by e-mail and delete the original message. Further, you are
not
to copy, disclose, or distribute this e-mail or its contents to any other
person and
any such actions are unlawful. This e-mail may contain viruses. Infosys has
taken
every reasonable precaution to minimize this risk, but is not liable for any
damage
you may sustain as a result of any virus in this e-mail. You should carry out
your
own virus checks before opening the e-mail or attachment. Infosys reserves the
right to monitor and review the content of all messages sent to or from this
e-mail
address. Messages sent to or from this e-mail address may be stored on the
Infosys e-mail system.
***INFOSYS******** End of Disclaimer ********INFOSYS***
_______________________________________________
Users-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/users-prolog
