Constraint logic programming: Difference between revisions

Revision as of 10:34, 16 March 2006

Revision as of 10:44, 16 March 2006

Line 5:

==Overview==

Formally, constraint logic programs are like regular logic programs, but the body of clauses can contain constraints, in addition to the regular logic programming literals. As an example, the following constraint logic program contains the constraint <code>X>0</code> is a constraint, and is included in the bodylast clause of the lastfollowing clauseconstraint logic program.

B(X,1):-X<0.