Eine Erweiterung der Logikprogrammierung, die deren deklarativen Ansatz mit effizienten Verfahren zur Lösung von Nebenbedingungen (Constraints) über spezifischen Domänen (z.B. reelle Zahlen, endliche Mengen) kombiniert. CLP ist besonders nützlich für komplexe Planungs-, Scheduling- und Optimierungsaufgaben.