Constraint logic programming are like regular logic programs, but the body of clauses can contain constraints, as well as the regular logic coding literals. Constraint logic programming is a kind of constraint programming, where logic programming is extended to feature concepts from concern satisfaction. A constraint logic program is usually a logic program which has constraints by the body processes of clauses.
Constraint Logic Programming
