Hi Guys,
This may be a bug (or it may already be fixed), I'm using a slightly older version of ciao and I can't login to a machine with the up to date release at the moment. Apologies if this has already been fixed (Is there a web searchable archive of this list somewhere?)
Easy to reproduce;
?- X is (2**3).
X = 8.0 ? ;
no ?- X is 1 mod 8.
X = 1 ? ;
no ?- X is 1 mod (2**3).
X = 9 ? ;
no
I'm fairly confident that 1%8 isn't 9... ;^)
Amoss
============================================================================== 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/ -----------------------------------------------------------------------------