What does CLP mean in Software?

This page is about the meanings of the acronym/abbreviation/shorthand CLP in the Computing field in general and in the Software terminology in particular.

Constraint Logic Programming

Computing » Software

Translation

Find a translation for CLP in other languages:

Select another language:

Definition

What does CLP mean?

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>0, B, C. In this clause, X+Y>0 is a constraint; A, B, and C are literals as in regular logic programming. This clause states one condition under which the statement A holds: X+Y is greater than zero and both B and C are true. As in regular logic programming, programs are queried about the provability 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.

see more on Definitions.net»

Discuss this CLP abbreviation with the community:

Citation

Use the citation below to add this abbreviation to your bibliography:

Style:MLAChicagoAPA

"CLP." Abbreviations.com. STANDS4 LLC, 2014. Web. 17 Dec. 2014. <http://www.abbreviations.com/term/124460>.


The Web's Largest Resource for

Acronyms & Abbreviations


A Member Of The STANDS4 Network