Problem of Creating queries having a term involving function symbols

[Suman Roy]

 

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 address@hidden <mailto:address@hidden>
       address@hidden <mailto:address@hidden>

 

**************** 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***