[m-dev.] choice point deforestation

[Simon Taylor]

> By applying a deforestation-like "conjunctive partial deduction"
> transformation to the conjunction `mymember(X, Data), test(X)',
> we can push the pruning further in, to the point where we avoid
> creating the choice points at all.

> Anyway, it seems to me that this optimization is quite similar to the
> existing deforestation optimization.  Simon, how hard do you think it
> would be to extend deforestation to handle cases like this?
 	
I did something like this last year, although it's probably not too clever
about deciding when to do the optimization.
See /home/mercury1/stayl/constraint/mercury.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------