DFKI and Universität des Saarlandes
The tutorial will introduce the constraint programming facilities of Oz 2. The audience is expected to have a passing acquaintance with finite domain constraint logic programming.
Oz 2 is a lexically scoped language with first-class procedures, cells, threads, logic variables, and a constraint store. It supports finite domain constraints and feature constraints. Oz is not based on backtracking but has a space primitive from which a variety of encapsulated search engines can be programmed. Spaces can express sequential and concurrent engines for one, incremental all, and best solution search. They can also express specialized engines for chart parsing of constraint grammars and polymorphic type inference.
The beta version of DFKI Oz 2 is available under a GNU-style licence. On a Pentium, DFKI Oz 2 finds and proves an optimal solution of the MT 10 job shop scheduling problem in less than 3 minutes. DFKI Oz 2 has a C++ interface for adding new propagators and comes with innovative tools facilitating the development of constraint programs.
The outline of the tutorial is as follows:
The following papers are related to the tutorial: