Constraint-Logikprogrammierung (CLP)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Rechen- und Spezifikationsrahmen, der Logikprogrammierung mit Constraint-Solving integriert: Programme kombinieren logische Regeln mit Constraint-Domänen und Solver, wobei ein Constraint-Store während der Beweissuche konsultiert und aktualisiert wird.