[mercury-users] functions vs predicates (was Re: State variable problem

Ralph Becket rafe at csse.unimelb.edu.au
Tue Aug 15 11:21:58 AEST 2006

Mark Brown, Monday, 14 August 2006:
> I think the real problem is that `X = X' doesn't hold, but people would
> naturally expect it to.

I think this might be a show-stopper.  If X = X is not an axiom then 
Mercury programs become *much* harder to reason about.

I've used semidet functions from time to time, but not that often and
I've usually thought that a semidet pred would be equally as good, if
marginally less convenient.
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list