[mercury-users] impure predicates
rwab1 at cam.sri.com
Wed Oct 21 01:44:17 AEST 1998
Fergus Henderson wrote on 21 Oct:
> > I'd say no. Typically, a predicate with no output args is going to be
> > semidet or erroneous (anything else doesn't make much sense to me).
> Typically, you're right, but `impure' procedures are not supposed
> to be typical! ;-)
Aaagh! I feel the unholy influence of Larry Wall creeping in here!
Ralph Becket | rwab1 at cam.sri.com | http://www.cam.sri.com/people/becket.html
More information about the users