> between_aux(L, L, L) :- !. what happened to steadfast code ?It _is_ steadfast. Or rather, it's a private _part_ of a steadfast predicate.
Conclusion: between_aux/3 is _not_ steadfast. The invariant that _your_ code imposes, can be violated by others in the same module.
Bart Demoen ============================================================================== 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/ -----------------------------------------------------------------------------