[m-rev.] for review: promise scopes (part 1)

[Julien Fischer]

On Mon, 21 Mar 2005, Zoltan Somogyi wrote:

> Replace the some() HLDS goal with a more general scope() goal, which can be
> used not just for existential quantification but also for other purposes.
>
> The main such purposes are new goal types that allow the programmer
> to annotate arbitrary goals, and not just whole procedure bodies, with the
> equivalents of promise_pure/promise_semipure and promise_only_solution:
>
> 	promise_pure ( <impure/semipure goal> )
> 	promise_semipure ( <impure goal> )
>
> 	promise_equivalent_solution [OutVar1, OutVar2] (
> 		<cc_multi/cc_nondet goal that computed OutVar1 & OutVar2>
> 	)

Why solution as opposed to solutions in the promise_equivalent_solution
goal?

Julien.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------