pvr@info.ucl.ac.be (Peter Van Roy) writes:
> Minor correction: Oz is not a "Prolog-style" logic programming
> language. Constraint programming is a form of logic programming...
In principle, you are right Peter. In practice, the term "logic
programming" has become synonymous with the very narrow sense in which
I was using it. For this reason alone, I find that there is value in
distantiating ourselves from it. I do not wish to call Oz a logic
programming language precisely because that invites inevitable and
damaging misinterpretation.
Cheers,
-- Dr. Denys Duchier Équipe Calligramme LORIA, Nancy, FRANCE - 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.