[Oz] Oz and Python

[Christian Schulte]

Borcis wrote:
> Another thing that I regret not to have in Oz, is Life's style
> and syntax of function definitions. I was told by one of Oz's
> wizards that the default backtracking behavior that Life inherited
> from Prolog made it difficult to implement Life over Oz efficiently,
> contrary to a proposition I had made. Programming in Oz meant
> following a "concurrent constraint" style rather than a "logic
> programming" style, I was told. But *functions definitions* are precisely
> where Life is more "concurrent constraints" than "logic programming",
> aren't they ?

You might be interested in an exposition by Peter Van Roy on Logic
Programming in Mozart he gave as a tutorial at the last International
Conference on Logic Programming. It also discusses some syntactical
issues. The paper you can find at Peter's home page:

	http://www.info.ucl.ac.be/people/cvvanroy.html

Peter: Is there a newer version available?


Cheers
Christian

-- 
Christian Schulte, http://www.ps.uni-sb.de/~schulte/
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.