|
1. In Prolog, assuming the terms in a clause are bounded
correctly, the engine will attempt to unify all undetermined variables
(whether perceived as “input” or “output” variables). i.e. unification makes all unbound variables true, if
possible. If this same behavior is possible in OZ, how would I specify
this? 2. What is a good source for learning the details of
constraint handling in OZ? I have read Peter Van Roy’s book—and
it is excellent, but not detailed enough for what I need. I have also browsed the online
documentation, and I don’t quite understand how To adapt what I see there (ref. the
Steiner Triples example) to the particular problems I want to solve. I think it is a combination of APIs and
knowing how to combine statements To get the results I want. George Rudolph |
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
