[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