Constraint Logic Programming

A computation and specification framework that integrates logic programming with constraint solving: programs combine logical rules with constraint domains and solvers, maintaining a constraint store that is consulted and updated during proof search.