Constraint Logic Programming
(redirected from Constraint-logic programming)

Also found in: Wikipedia

0.01 sec.

Constraint Logic Programming - (CLP) A programming framework based (like Prolog) on LUSH (or SLD) resolution, but in which unification has been replaced by a constraint solver. A CLP interpreter contains a Prolog-like inference engine and an incremental constraint solver. The engine sends constraints to the solver one at a time. If the new constraint is consistent with the collected constraints it will be added to the set. If it was inconsistent, it will cause the engine to backtrack.

CLP* is a variant.

["Constraint Logic Programming", J. Jaffar et al, 14th POPL, ACM 1987].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Constitutionalists Constitutions, Apostolic Constitutions, Soviet constitutive constitutive enzyme Constitutive Enzymes constitutive equations constitutive gene constitutive heterochromatin constitutive mutation constitutive promoter constitutive property constitutive secretory pathway Constitutum Constantini constrained mechanism constrained optimization problem Constrained Oscillations Constraint constraint function constraint functional programming Constraint Handling In Prolog Constraint Logic Programming constraint matrix constraint programming language constraint satisfaction Constraint-logic programming ConstraintLisp CONSTRAINTS constratum constricting nozzle constriction constriction disease constrictive pericarditis constrictor constringence construct constructed type Construction Construction Acoustics construction administrator Construction and Road Machinery, Institute of construction area construction bolt construction bond construction budget Construction Ceramics construction class construction close-out log Construction Code construction contract construction contract administrator			Constraint Programming Artificial Intelligence Operations Research constraint programming language Constraint Routed Label Distribution Protocol Constraint satisfaction Constraint Satisfaction and Optimisation Problem Constraint Satisfaction Neural Network Constraint Scalable Vector Graphics Constraint Set Constraint Solving and Constraint Logic Programming Constraint store constraint to obedience Constraint-Based Local Search Constraint-Based Reconstruction and Analysis Constraint-Based Routed Label Distributed Protocol Constraint-Based Routing Constraint-Based Routing Label Switched Path Constraint-Based Routing/Label Distribution Protocol Constraint-Based Structure Description Language Constraint-Centered Semantics of Natural Languages Constraint-Encapsulating Class Constraint-Induced Aphasia Therapy Constraint-Induced Movement Constraint-Induced Therapy Constraint-Limited Exhaustive Search Constraint-logic programming Constraint-satisfaction problem Constraint-Specification Aspect Weaver Constraintive ConstraintLisp Constraints Constraints Constraints Constraints and Extended Support for Storage and Access Constraints and Language Processing Constraints and Restrictions Document Constraints in Discourse Constraints in Formal Verification Constraints management Constraints management Constraints Management Group Constraints Management Workshop constratum constrict constrict constrict constrict constricted constricted constricted constricted affect constricted affect constricted affect constricted affect constricted apex constricted apex

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.

Constraint Logic Programming (redirected from Constraint-logic programming)

Constraint Logic Programming
(redirected from Constraint-logic programming)