Constraint logic programming

Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is A(X,Y) :- X+Y>0, B(X), C(Y). In this clause, X+Y>0 is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.

单词	Constraint Logic Programming
释义	Constraint Logic Programming 英语百科 Constraint logic programming Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is `A(X,Y) :- X+Y>0, B(X), C(Y)`. In this clause, `X+Y>0` is a constraint; `A(X,Y)`, `B(X)`, and `C(Y)` are literals as in regular logic programming. This clause states one condition under which the statement `A(X,Y)` holds: `X+Y` is greater than zero and both `B(X)` and `C(Y)` are true.
随便看	criteria of patentability criteria of seakeeping qualities criteria of value criteria of yielding Criteria pollutant criteria range criteria Criteria,School Admission criteria score criteria selection Criteria,Selection criteria stability criteria table criteria table formalism criteria table format criteria table formulation criteria table logic criteria table logic statement criteria table model criteria table representation criteria table structure criteria text criterie criterio criteriological

Constraint Logic Programming

Constraint logic programming