RE: UNSAID : issues in interpretting a query

Andy wrote: 

> Dan - what's cwm's execution algorithm here for matching the LHS of
> log:implies?

PS 

Question to everyone: It seems cwm is doing some osrt of dependency
tracking of varables inside the rule head.  How does this extend to
working with persistently storage?   What's the current state of the art
(e.g. Prolog) here?

	Andy