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.

As in regular logic programming, programs are queried about the probability of a goal, which may contain constraints in addition to literals. A proof for a goal is composed of clauses whose bodies are satisfiable constraints and literals that can in turn be proved using other clauses. Execution is performed by an interpreter, which starts from the goal and recursively scans the clauses trying to prove the goal. Constraints encountered during this scan are placed in a set called constraint store. If this set is found out to be unsatisfiable, the interpreter backtracks, trying to use other clauses for proving the goal. In practice, satisfiability of the constraint store may be checked using an incomplete algorithm, which does not always detect inconsistency.

Read more about Constraint Logic Programming:  Overview, Semantics, Terms and Constraints, The Constraint Store, Labeling, Program Reformulations, Constraint Handling Rules, Bottom-up Evaluation, Concurrent Constraint Logic Programming, Applications, History

Other articles related to "constraint logic programming, logic programming, logic, constraints, constraint, programming":

Concurrent Constraint Logic Programming - History
... The study of concurrent constraint logic programming started at the end of the 1980s, when some of the principles of concurrent logic programming were integrated ... The theoretical properties of concurrent constraint logic programming were later studied by various authors, such as Vijay A ...
Mutually Exclusive Events - Logic
... In logic, two mutually exclusive propositions are propositions that logically cannot be true at the same time ...
Constraint Logic Programming - History
... Constraint logic programming was introduced by Jaffar and Lassez in 1987 ... observation that the term equations and disequations of Prolog II were a specific form of constraints, and generalized this idea to arbitrary constraint ...
Paraconsistent Logic - Applications
... Paraconsistent logic has been applied as a means of managing inconsistency in numerous domains, including Semantics ... Paraconsistent logic has been proposed as means of providing a simple and intuitive formal account of truth that does not fall prey to paradoxes such as the Liar ... Some believe that paraconsistent logic has significant ramifications with respect to the significance of Russell's paradox and Gödel's incompleteness theorems ...
Concurrent Constraint Logic Programming
... Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint ... Goals in constraint logic programming are evaluated concurrently a concurrent process is therefore programmed as the evaluation of a goal by the interpreter ... Syntactically, concurrent constraints logic programs are similar to non-concurrent programs, the only exception being that clauses include guards, which are ...

Famous quotes containing the words programming, constraint and/or logic:

    If there is a price to pay for the privilege of spending the early years of child rearing in the driver’s seat, it is our reluctance, our inability, to tolerate being demoted to the backseat. Spurred by our success in programming our children during the preschool years, we may find it difficult to forgo in later states the level of control that once afforded us so much satisfaction.
    Melinda M. Marshall (20th century)

    In America a woman loses her independence for ever in the bonds of matrimony. While there is less constraint on girls there than anywhere else, a wife submits to stricter obligations. For the former, her father’s house is a home of freedom and pleasure; for the latter, her husband’s is almost a cloister.
    Alexis de Tocqueville (1805–1859)

    What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?
    Henry David Thoreau (1817–1862)