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 provability of a goal, which itself 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 the 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.
and 22 Related for: Constraint logic programming information
Instead of logicprogramming, constraints can be mixed with functional programming, term rewriting, and imperative languages. Programming languages with...
Constraintlogicprogramming is a form of constraintprogramming, in which logicprogramming is extended to include concepts from constraint satisfaction...
Logicprogramming is a programming, database and knowledge representation paradigm based on formal logic. A logicprogram is a set of sentences in logical...
Concurrent constraintlogicprogramming is a version of constraintlogicprogramming aimed primarily at programming concurrent processes rather than (or...
programming ConstraintlogicprogrammingConstraint satisfaction, in computer science Constraint satisfaction problem Loading gauge, a constraint in engineering...
terminating CHR program is confluent if all its critical pairs are joinable. ConstraintprogrammingConstraintlogicprogrammingLogicprogramming Production...
logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is...
set programming to the problem of product configuration. In 1999, the term "answer set programming" appeared for the first time in a book The Logic Programming...
COIN-OR Linear Program Solver Communication Linking Protocol Congruence lattice problem ConstraintLogicProgrammingConstraintlogicprogramming (Real) Control...
software and are built into some programming languages such as exposing SAT solvers as constraints in constraintlogicprogramming. A Boolean formula is any...
generalization of concurrent logic variables to support constraintlogicprogramming: the constraint may be narrowed multiple times, indicating smaller sets...
SICStus supports several constraint domains, incorporating an externally developed implementation of the constraintlogicprogramming library CLP(R) based...
(MITI) to create computers using massively parallel computing and logicprogramming. It aimed to create an "epoch-making computer" with supercomputer-like...
ECLiPSe is a software system for the development and deployment of constraintlogicprogramming applications, e.g., in the areas of optimization, planning, scheduling...
and algorithms. Constraint solvers solve constraint satisfaction problems (CSPs). They support constraintprogramming. A constraint is a which must be...
declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation...
Vijay A. Saraswat, "Actors as a special case of concurrent constraint (logic) programming", in SIGPLAN Notices, October 1990. Describes Janus. Carl Hewitt...
first-order logic or on description logic. Common Logic - and its dialects CycL DOGMA (Developing Ontology-Grounded Methods and Applications) F-Logic (Frame...
Embedding relational interval arithmetic in a logicprogramming language differs from other constraintlogicprogramming (CLP) systems like CLP(R) or Prolog-III...
Mistral is a registered trade mark of CESI. AI winter CLIPS ConstraintlogicprogrammingConstraint satisfaction Knowledge engineering Learning classifier...