Constraint Logic Programming

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.