On 21.10.2005, at 13:55, Raphael Collet wrote:
Spaces were never intended to be shown to users. You have to know
about spaces if you write your own search engine, otherwise you should
not care about them.
The Oz tutorials (e.g. Oz toot and FD Constraints toot) do give some
less formal details about spaces to understand the logic and constraint
programming capabilities of Oz. This information is then used to
explain the operational semantics of, for instance, the 'or' construct
or constraint distribution.
On 21.10.2005, at 13:16, [EMAIL PROTECTED] wrote:
[...] I cannot help thinking that there could have been a
significant learning speedup were the tutorial clearer at some very
critical
points, i.e. those related to logic programming and search, especially
spaces.
It seems to me that there it suddenly becomes deprived of its
"tutoriality" and
increasingly goes into an incomplete language reference mood.
BTW: The Tutorial of Oz is obviously unfinished since years: e.g., from
Sec. 12.7.2 on the text only contains example code without any
explanation at all.
Certainly, knowing it and fixing it are two different things..
Best,
Torsten
--
Torsten Anders
Sonic Arts Research Centre
Queen's University Belfast (UK)
www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
