Constraint Logic Programming

• Logic variables

• Relations defined by facts and rules

• Pattern matching

• Recursion

• Backtracking

• Constraint libraries

Previous slide

Next slide

Back to first slide

View graphic version