Stefan Lehmke, author and maintainer of the supercool
TeXPower
presentation system, recommended the
Mozart Programming System and the programming
language Oz as an ideal platform for building agent based systems (like my
conceptual workbench,
which is of course pure Common Lisp).
The Mozart Programming System is an advanced development platform for intelligent, distributed applications. The system is the result of a decade of research in programming language design and implementation, constraint-based inference, distributed computing, and human-computer interfaces. As a result, Mozart is unequaled in expressive power and functionality. Mozart has an interactive incremental development environment and a production-quality implementation for Unix and Windows platforms.
Mozart is based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part of a coherent whole. For distribution, Mozart provides a true network transparent implementation with support for network awareness, openness, and fault tolerance. Security is upcoming.
I've been browsing through the documentation and I wonder how they
expect to build distributed applications, without a notion of capabilities and
delegation, like for example provided in the
E programming language. Unless I missed something (quite likely), thread synchronization is
still difficult
(not trivial, like in E).
