A General View

• Ancestors:
  • SKETCHPAD (1963)
  • THINGLAB (1981)
  • Waltz's algorithm (1965?)
  • MACSYMA (1983)
• Constraints in imperative languages:
  • Equation solving libraries (ILOG)
  • Timestamping of variables:
    x := x + 1 $\leftrightarrow x_{i} := x_{i+1} + 1$
• Constraints in functional languages:
  • Evaluation of expressions with free variables
  • Absolute Set Abstraction
• Constraints in logic languages:
  • Idea of Constraint Programming
  • General theory
  • In practice: based on Prolog + some constraint domain