luque@info.ucl.ac.be (Luis Quesada) writes:
> I thought he needed that the or disappears as soon as it is known that a
> clause is entailed. In the following example X never gets determinate if
> the or is not used.
My point is that he really doesn't want `or', he wants `cond'.
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/.