[m-dev.] semantics with any insts

[Ralph Becket]

Peter Schachte, Monday,  3 April 2006:
> Say I'm implementing a cbool type.  I implement the common connectives
> as "semidet" preds,

Okay, so you're implementing and, or, xor, etc. as constraints.  In that
case I don't see how you can possibly implement, say, or(ia, ia) as
anything other than nondet.  The only ones that can be semidet are `not'
and `and'.

-- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------