Amoss, the mod/2 operator is only correctly defined for integer values, not for floating point values (although this maybe could be considered a bug):
?- X is 1 mod 8.0.
X = 9 ?
yes ?- X is 1 mod integer(2**3).
X = 1 ?
yes
Cheers,
Daniel
============================================================================== 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/ -----------------------------------------------------------------------------