CSE 341 - Programming Languages - Winter 2010

Constraints and Constraint Logic Programming

• Constraint Logic Programming
• CLP(R) examples
• Running CLP(R)
• Controlling Search in CLP(R) (code)
• Difference Lists. Sample derivations: naive reverse; reverse using difference lists.
• The CLP Operational Model (pdf - 1up; pdf - 4up)
• CLP(R) Manual (pdf; html)

Two copies of the following book are on reserve in the Engineering Library: Programming with Constraints: An Introduction, by Kim Marriott and Peter J. Stuckey. (The online material should be sufficient for 341 however.)

Mini-Exercises

• CLP(R) Mini-exercises
  Solutions to selected exercises: Q2 and Q3; Q4; Q6 and Q7
• CLP(R) More mini-exercises; Answer Key
• CLP(R) difference list mini-exercise; derivation tree

External Links

• Cork Constraint Computation Centre (major center for research in this area)
• On-Line Guide to Constraint Programming
• UW Constraint-Based Languages and Systems
• Wikipedia has some reasonable articles on these topics (which could use some reorganization and merging ...)
  • Constraint Logic Programming
  • Constraint Programming
  • Logic Programming