luque@info.ucl.ac.be (Luis Quesada) writes:
> It is clear that to keep the semantics of the or things should be in that
> way. However, once it is known a guard of the or is entailed I just see two
> options:
>
> 1. The or commits to the entailed option, which would not add any new
> information to the store.
> 2. The or keeps suspended for ever , which would not add anything new
> neither.
neither of your suggestions is faithful to the semantics.
> Could you please explain the benefits of leaving the or alive?
I already did explain the semantics several times. Please, read my
messages again.
Cheers,
-- Dr. Denys Duchier Denys.Duchier@ps.uni-sb.de Forschungsbereich Programmiersysteme (Programming Systems Lab) Universitaet des Saarlandes, Geb. 45 http://www.ps.uni-sb.de/~duchier Postfach 15 11 50 Phone: +49 681 302 5618 66041 Saarbruecken, Germany Fax: +49 681 302 5615 - Please send submissions to users@mozart-oz.org and administriva mail to users-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.