[m-rev.] State variable syntax transformation

[Ralph Becket]

Fergus Henderson, Wednesday, 27 February 2002:
> On 27-Feb-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > 
> > Okay, I've added the "else true" arm to that example.
> 
> That addresses my second point, but not my first.

The example in question is

iterate_while2(P, F, !A, !B) :-
        ( if P(!.A, !.B) then 
                F(!A, !B),
                iterate_while2(P, F, !A, !B)
          else
                true
        ).

The `true' is augmented with the appropriate unifications by the state
variable transformation.

Is that what you meant?

- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------