On Sat, 10 May 2003, Denys Duchier wrote:
> But really, the problem is that (apparently) you are trying to do
> logic programming. Oz is not a logic programming language: it is a
> constraint programming language.
Minor correction: Oz is not a "Prolog-style" logic programming language.
Constraint programming is a form of logic programming, in the sense
that there is a logical semantics. "Logic programming" is a general
term, not limited to Prolog-style nondeterministic search (which is
naive and useless for any practical problem). In the general sense
of the term 'logic programming', Oz is clearly a logic programming
language. In fact, it is *two* such languages: (1) an algorithmic one, in
which the control is given by the programmer, and (2) a constraint
language, in which control is given in a more abstract manner.
Peter
-
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.