Constraint Programming Language Oz

• Functional programming

  • first-class procedures
  • symbolic computation

• concurrent programming

  “constraints are concurrent”
  

• built-in constraint systems

  • integers (“finite domains”)
  • sets of integers
  • feature trees

• built-in computation spaces

Previous slide

Next slide

Back to first slide

View graphic version