OZ(ID:2327/oz:001)

Concurrent constraint language 

high-level language, combining constraint inference with concurrency. Dynamically typed and has first-class procedures, classes, objects, exceptions, and sequential threads synchronizing over a constraint store. Supports finite domain and feature constraints and has powerful primitives for programming constraint inference engines at a high level. Typical application areas of OZ include: optimization problems like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing of natural language, simulation, multi-agent systems, and sophisticated GUIs.  

U Saarbrucken. Object-oriented concurrent constraint language. Based on constraint communication, a new form of asynchronous communication using logic variables. Partial information about the values of variables is imposed concurrently and incrementally. Supports higher order programming and object-orientation including multiple inheritance.

People:
Structures:
Related languages
LIFE => OZ   Influence
OZ => OZ2   Evolution of
References:
  • Henz, Martin; Smolka, Gert; Würtz, Jörg "Oz - A Programming Language for Multi-Agent Systems" pp404-409 view details
          in Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 -September 3, 1993. (IJCAI) Ruzena Bajcsy (Ed.) Morgan Kaufmann, 1993 view details
  • Smolka, G. et al. "Object-Oriented Concurrent Constraint Programming in Oz" view details
          in Otthein Herzog, Thomas Christaller, Dieter Schütt (Eds.): Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz, Humboldt-Universität zu Berlin, 13.-16. September 1993, Proceedings. Informatik Aktuell Springer 1993 view details
  • Smolka, Gert "Nebenläfige Objekte und Logische Programmierung" view details
          in Christoph Beierle (Ed.): 9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Informatik-Bericht 146 view details
  • Smolka, Gert "The Definition of Kernel Oz" pp251-292 view details
          in Constraint Programming 1994 view details
  • Smolka, Gert "Oz: Concurrent Constraint Programming for Real" view details
          in Sterling, Leon (Ed.): Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan. MIT Press 1995 view details
  • Smolka, Gert "The Oz Programming Model" pp324-343 view details
          in Computer Science Today 1995 view details
  • Müller, Martin; Smolka, Gert "Oz: nebenläufige Programmierung mit Constraints" view details
          in KI 10(3) (1996) view details
  • Smolka, Gert "Constraints in OZ" view details
          in [ACM] ACM Computing Surveys (CSUR) 28(4) December 1996 view details
  • Smolka, Gert "The Oz Programming Language and System" p377 view details
          in ASIAN 1996 view details
  • Smolka, Gert "The Oz Programming Model" p251 view details
          in JELIA 1996 view details
  • Philippsen, Michael "A survey of concurrent object-oriented languages" pp917-980 view details
          in Concurrency: Practice and Experience 2000 v12 view details
    Resources


    • "
    • DFKI Oz at Imperial

      DFKI Oz 1.0


      The Programming Systems Lab of the German Research Center for Artificial
      Intelligence (DFKI) is pleased to announce the release of DFKI Oz 1.0, an
      interactive compiler-based implementation of Oz.



      Oz is a concurrent constraint programming language designed for applications
      that require complex symbolic computations, organization into multiple agents,
      and soft real-time control. It is based on a new computation model providing a
      uniform foundation for higher-order functional programming, constraint logic
      programming, and concurrent objects with multiple inheritance. From functional
      languages Oz inherits full compositionality, and from logic languages Oz
      inherits logic variables and constraints (including feature and finite domain
      constraints). Search in Oz is encapsulated (no backtracking) and includes one,
      best and all solution strategies.



      DFKI Oz is an interactive implementation of Oz featuring a programming
      interface based on GNU Emacs, a concurrent browser, an object-oriented
      interface to Tcl/Tk, powerful interoperability features (sockets, C, C++), an
      incremental compiler, a garbage collector, and support for stand-alone
      applications. Performance is competitive with commercial Prolog and Lisp
      systems. DFKI Oz is available for many platforms running Unix/X, including
      Sparcs and 486 PCs.



      Applications DFKI Oz has already been used for include simulations, multi-agent
      systems, natural language processing, virtual reality, graphical user
      interfaces, scheduling, placement problems, and configuration.

      external link