Bart Demoen <Bart.Demoen(a)cs.kuleuven.ac.be> asked: > between_aux(L, L, L) :- !. what happened to steadfast code ? It _is_ steadfast. Or rather, it's a private _part_ of a steadfast predicate. between_aux/3 is not an exported predicate, it's only called by between/3, which ensures that the 3rd argument is a variable before the call. ============================================================================== 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/ -----------------------------------------------------------------------------