27 May
2006
27 May
'06
4 p.m.
Hello,
I am using CiaoJava library to call a prolog module from a Java program. The problem is : when the answer of the query is a constraint, I couldnt get the answer.
For example: :- use_package(clpr).
test(0,0). test(1,X) :- X .=. 1.0.
My query for "test(0,X)" works successfully, having "test(0,0)" returned, but the query "test(1,X)" returned success with answer "test(1,X)".
How can I get the constraint with CiaoJava? Appreciate your help.
Thanks, Wiratna
--
Bis zu 70% Ihrer Onlinekosten sparen: GMX SmartSurfer!
Kostenlos downloaden: http://www.gmx.net/de/go/smartsurfer
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------