Greetings, I am wondering if it is possible, in the SVN version of Ciao, to enable the occurs check in unification? i know there is the "unify_with_occurs_check" predicate as part of the "iso_misc" module, but i was wondering if there might be a directive or flag that could be set, as well. I'm doing some work with a different unification algorithm (higher order unification) and need to "level the playing field" for some performance tests.

thanks, juan chanco

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