Constraints

Constraint Handling in MINERVA: the example is configured as application.

Review the programs of this directory to observe:

• declarative programming style
• the use of the predicates
  • co_add/2
  • co_get/2
  • co_merge/2 (user defined)
  • co_check/2 (user defined)
• the definition of constraints
  • delay
  • finite domains
• the use of constraints
  • genf.min to solve the "genf" puzzle
• the combination of Prolog backtracking to generate multiple solutions with constraint problem solving
  • genf1.min to find all solutions for the "genf" puzzle