[mercury-users] impure predicates

Ralph Becket rwab1 at cam.sri.com
Wed Oct 21 00:25:57 AEST 1998


Henk Vandecasteele wrote on 20 Oct:
> 
> So, should the mercury-system backtrack over impure
> predicates which have only input-arguments?

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).
Backtracking over impure operations also sounds rather dodgy to me -
what are you trying to do?

Ralph

-- 
Ralph Becket  |  rwab1 at cam.sri.com  |  http://www.cam.sri.com/people/becket.html



More information about the users mailing list