Don't Be a Solver

• CLP languages provide built-in solvers
• For a variety of domains
• We will first briefly have a look at
  • Logical variables
  • Backtracking
  using logic programming syntax
• Then we will merge it with constraint solving capabilities
• We will finish with a review of the operational model (and pragmatics)