15-819K Logic Programming
Lecture 27: Constraint Logic Programming

• Reading: Lecture Notes
• Code: 27-clp
• Concepts:
  • Arithmetic constraints
  • Constraint domains
  • Hard constraints
• Previous lecture: Datalog
• Next lecture: none

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning