ConstraintLogic Programming

• CLP(R) --- built on top of Prolog’s foundations

• Developed by Jaffar and Lassez atMonash University in Melbourne, Australia

• Includes domain-specific constraint solvers to augment the logical deduction algorithm

• Different domains are targeted with different specialized solvers

  • CLP(FD), for finite domains
  • CLP(R), for real number

Previous slide

Next slide

Back to first slide

View graphic version