This chapter seems unfinished to me.
12.3, after enough readings, is clear.
12.4 (or statement)
"Assume also that G_i has been reduced to the goal G'_i and the
constraint \theta." very unclear to me.
The or statement semantic look almost the same as of the:
"A parallel conditional is of the form
cond G1 then S1
[] G2 then S2
...
else SN end"
It's like if it is the programmer responsability to make sure that not
two options of or is not entailed simutaneously.
'choice' is not explained.
By reading the or description, when I come later on
--
http://www.fastmail.fm - Email service worth paying for. Try it for free
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
