Russ Abbott wrote:
One solution would be to have two versions of the case statement (case and caseunify), one that suspends if the pattern aribiter is not completely bound and one that does full unification.
No, this is definitely not a good idea. Prolog does pattern matching by *speculative* unification! It works only because Prolog is *sequential* and search is built-in.
Oz is concurrent, and search is encapsulated. The latter makes that we don't need a "cut" statement in Oz. Unification is more the functional style one.
> Not only would
that offer a nice feature, it would solve the problem that new-comers tend to get confused about this. If both language features were presented together in the documentation, there would be no confusion.
Most newcomers are not from the Prolog world, and many find the "case" statement quite natural. Prolog programmers are sometimes a bit mind-twisted, and need some rehabilitation to normality ;-) I am sure you will quickly get used to Oz.
Cheers, raph _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
