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