The CLP Procedure OverviewGetting StartedSyntaxDetailsExamplesReferences Getting Started: CLP Procedure Subsections: Send More Money Eight Queens The following examples illustrate the use of the CLP procedure in the formulation and solution of two well-known logical puzzles in the constraint programming community. Last updated: June 22, 2026