Programmation Logique par Contraintes (CLP)

Un cadre de calcul et de spécification qui intègre la programmation logique et la résolution de contraintes : les programmes combinent règles logiques et domaines de contraintes avec solveurs, en maintenant un magasin de contraintes consulté et mis à jour lors de la recherche de preuves.