[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