Programación lógica con restricciones

• Permite ligar variables a restricciones (consecuentemente debe modificarse el algoritmo de unificación)
  • 
  • Prolog puede confirmar Triangulo(3,4,5)
  • Triangulo(x,4,5), Prolog no puede responder con . Constraint Logic Programming puede
• Predicados con tipo implementados como restricciones lógicas