How to convert a predicate from multi to det in Mercury lang?
So you're learning Mercury lang and you have a predicate with multi
determinism. Maybe it looks something like this:
:- pred school(string:: in, string:: out) is multi.
fish(Fish, ParticularFish) :-
( append("One ", Fish, ParticularFish)
; append("Two ", Fish, ParticularFish)
; append("Red ", Fish, ParticularFish)
; append("Blue ", Fish, ParticularFish)
).
Which has four solutions …
more ...