On 10/26/05, Raphael Collet <[EMAIL PROTECTED]> wrote:
Russ Abbott wrote:
> The thread bomb approach generates a thread that is triggered when any
> of the variables it is watching gets a value. This does not eliminate
> generate and test, but since in effect all constraints are tested all
> the time it does cut off the search immediately whenever any constraint
> is violated.
My conclusion of this paragraph is that logic programming with dataflow
concurrency is more powerful than logic programming alone. Your
examples show clearly that it makes programs simpler and more efficient.
Thanks for acknowledging that point. Since Oz is often described in terms of a kernel with features added, it's worth noting that this technique can be used at a relatively basic Oz level to cut off search quickly.
-- Russ
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
