[m-rev.] For review: inst any non-locals in promise_equivalent_solutions

[Ralph Becket]

Peter Schachte, Tuesday,  6 February 2007:
> 
> Perhaps "promise_equivalent_solutions" wasn't the right name for that, because
> it sure sounds like it's saying what the reference manual says:  that all
> solutions to the goal are = to one another.  For an inst any variable, that
> promise should say that all satisfying values for that variable are =, which
> doesn't sound like what you want.  Maybe Mercury should have a
> "promise_equivalent_constraints" pragma, to specify that all solutions of the
> enclosed goal for the specified variables have equivalent sets of constraints?
>  That name and semantics would work equally well for inst any and inst ground
> variables.

We really need a mechanism for declaring when a solver variable can
become further constrained or not.  I'm going to hassle Mark who's
made a start on specifying the problem.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------