[m-users.] ui modes

Michael Day mikeday at yeslogic.com
Mon Aug 5 09:55:55 AEST 2013

Hi Julien,

Another mostly_unique issue pops up in this kind of semidet code:

     member(X, Xs),
     T = get_mutvar(X, IO),

Because check_something is semidet and member is nondet the IO ends up 
being mostly_unique instead of unique, even though it is only ever 
passed to get_mutvar with ui mode. This basically rules out using nondet 
generate/test style of programming.

Perhaps this issue is similar to the problem with not() and implication?



Prince: Print with CSS!

More information about the users mailing list