Programación Lógica con Restricciones (CLP)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un marco de computación y especificación que integra la programación lógica con resolución de restricciones: los programas combinan reglas lógicas con dominios de restricciones y solvers, manteniendo un almacén de restricciones que se consulta y actualiza durante la búsqueda de prueba.