CLP
Constraint Logic Programming
Definition
Constraint Logic Programming (CLP) ist ein Programmierparadigma, das logische Programmierung mit Constraint-Lösung kombiniert. Es ermöglicht die Formulierung und automatische Lösung von Problemen durch Einschränkungsbedingungen.