[m-dev.] promise_equivalent_solutions

Ralph Becket rafe at csse.unimelb.edu.au
Fri Feb 2 14:09:21 AEDT 2007

I have the following problem:

:- pred p(t::ia) is semidet.

p(X) :-
	promise_equivalent_solutions [X] q(X).

:- pred q(t::ia) is nondet.

q(X) :- ...

I get a complaint from the compiler that X should not be in the
promise_equivalent_solutions list.  If I remove the promise, I
get a complaint from the compiler saying that p can have multiple
solutions, of course!

Is there a semantic problem with allowing (any >> any) vars to appear
in promise_equivalent_solutions lists?  If not, I'll set about making
the change.

-- Ralph
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list