Introductory Examples: CLP Procedure

The following examples illustrate the formulation and solution of two well-known logical puzzles in the constraint programming community by using the CLP procedure.