CLP meaning in Softwares ?

Answer:

What is Constraint Logic Programming mean?

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 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.

reference

Full Form	Category
Carnegie Library of Pittsburgh	Academic & Science
Current Leakage Percentage	Academic & Science
Collaborative Language Program	Academic & Science
Carnegie Library of Pittsburgh's	Academic & Science
Comprehensive Literacy Plan	Academic & Science
College Link Program	Academic & Science
Catalouge List Price	Accounts and Finance
Clarks Point (ak)	Airport Code
Classification Labelling and Packaging	Business
Career Ladders Project	Business
Consultant Liaison Program	Business
Consultant Liaison Programs	Business
China Light and Power	Business
Certified Laser Professional	Business
Colonial Properties Trust	Business
Certified Lease Professional	Certifications
Certified Licensing Professional	Certifications
Certified Licensing Professionals	Certifications
Certified Licensing	Certifications
Chemistry of Life Processes	Chemistry
Comprehensive Leadership Program	Community
Civic Leadership Program	Community
Cultural Life Program	Community
Christian Light Publications	Community
Conservation Leadership Programme	Community
Camper Leadership Programme	Community
Community Language Program	Community
Community Living Privilege	Community
Community Lending Program	Community
Continuously Learning Professional	Community
Collaborative Learning Project	Community
Cascade Locks Park	Community
Continuous Learning Plans	Community
Color Laser Printer	Computer Hardware
Certified Lotus Professional	Computing
Computer Literacy Project	Computing
Computer Literacy Programme	Computing
Cisco Learning Partner	Computing
Certified Linux Professional	Computing
Courteous Logic Program	Computing
Country List Price	Computing
Conflicting Lower Priority	Computing
Clipboard File	Computing
Check Local Port	Computing
Contractual Licensing Program	Computing
Communication Line Processor	Computing
Current Line Pointer	Computing
Command Line Processor	Computing
Core Language Processor	Computing
Chilean Peso	Country Currency
Windows Clipboard Image Format	Electronics
Windows 3.x Clipboard File	File Type
Compiler Responce File (ca Clipper)	File Type
Clip Art Bitmap Graphics	File Type
Clean Lubricate and Protect	General
Construction Linked Plan	General
Classification Labelling Packaging	General
COIN OR Linear Program	General
Continuous Load Path	General
Competitive Liquidity Provider	General
Cumulative Licensing Program	General
Classification Labeling and Packaging	General
Cleaner Lubricant Protectant	General
Customer Licensing Platform	General
Customer Licensing Portal	General
Chip Level Package	General
Commercial Learner Permits	General
Customer List Price	General
Clean Lubricate Preserve	General
Commercial Learners Permits	General
Commercial License Permit	General
Cross-Laminated Plywood	General
Child Labour Platform	General
Coin or Linear Programming	General
Command Line Parsing	General
Compulsive Lying Party	General
Cleans Lubricates Protects	General
Clinical Laboratory Professional	General
Certificate of Legal Practice	General
Certified Localization Professional	General
Connected Lighting Power	General
Collapsible Steering Column	General
Cornering Lamp	General
Car License Plate	General
Commercial Learner's Permit	General
Cedez Le Passage	General
Club Lotus Portugal	General
Clube Lexus Portugal	General
Clube Do Logus e Pointer	General
Colt Premier	General
City Light Posters	Governmental
Certificate in Legal Practice	Governmental
Constituency Labour Party	Governmental
Clean, Lube, Protect	Governmental
Crime Lab Project	Governmental
Caja Labor Popular	Governmental
Coalición de Lucha Popular	International
Certified Life (insurance) Planner	Jobs
Certified Logistics Professional	Jobs
Constant Liner Performance	Maths
Contract Laboratory Program	Medical
Clinical Lab Products	Medical
Common Lymphoid Progenitor	Medical
Clean, Lubricate, Protect	Military and Defence
Cleaner Lubrication Preservative	Military and Defence
Clarks Point, Alaska USA	Regional
Constraint Logic Programming	Softwares
Cell Loss Priority	Telecommunication
Container Loading Problem	Web Technology