Hi.
I've this program, but it does not work as expected.
:- module(clpq_howto, _, [clpq]). :- use_module(library(write),[write/1]).
compare(X, Y) :- write(X), write(' = '), write(Y), X .=. Y.
test :- Z .=. 0.25, compare(0.25, Z).
I run it:
?- test. 0.25 = rat(1,4) no ?-
And the reply is no. I've seen
convert(rat(X,Y), Z) :- Z is X/Y.
But if I ask convert(X, 0.25) it fails too.
How should I write it? Thanks.
Regards,
Victor.
============================================================================== 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/ -----------------------------------------------------------------------------