Dear Andreas,
> When you run this, the overall result is always failure because of
> one-assignment variables, I guess always-failure could count as a
> deterministic output ...
Exactly.
> But, that is cheating, the problem is that the unification procedure
> raises an exception, and the declarative model + exceptions is no
> longer declarative as the book states.
This is no cheating! This is the declarative model. In this model,
there is no exception. The failed unification immediately makes the
program fail.
But as you said, the model with exceptions AND concurrency is NOT
declarative.
Cheers,
raph
-
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/.
Please send bug reports to bugs@mozart-oz.org.