Luis Quesada wrote:
>
> 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.
>
>
Even though one is able to infer this, it is clear that I am speaking here
about or where the bodies of the clauses are skip.
or
C1 then skip
[]
C2 then skip
[]
.
.
[]
Cn then skip
end
Luis
-- Catholic University of Louvain Department of Computing Science and Engineering Place Sainte Barbe, 2 B-1348 Louvain-la-Neuve, Belgium Phone: (++32) (10) 47 90 13 Fax: (++32) (10) 45 03 45 E-mail: luque@info.ucl.ac.be- 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/.