[mercury-users] impure predicates

Ralph Becket 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 mailing list