[mercury-users] equality functions

[Ralph Becket]

> > succeeded(P) :-
> > 	( if call(P) then yes else no ).
> 
> I'm not a fan of using `call(P)'. I'd just go for
> 
> succeeded(P) :-
> 	( if P then yes else no ).

Ooops - daftness on my part.  On the one hand I like the conciseness
of -> ; but in my other life as a Mercury salesman I find it's easier
to show people code using if-then-else.  It's in the fingers now,
anyway.

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------