Introducción a la programación lógica con CLP(FD)
2005·divulgacion
Un texto que introduce la programación lógica con Constraint Logic Programming over Finite Domains (CLP(FD)), una extensión de Prolog para resolver problemas de satisfacción de restricciones de manera eficiente.