[m-dev.] Re: for review: accumulator introduction

[Lee Naish]

Peter Ross <petdr at cs.mu.OZ.AU> writes:

>+		p(A, S0, SA), p(B, SA, S) <=>
>+			p(B, S0, SB), p(A, SB, S)

Add quantifiers.

	lee
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------