Copyright © Philip M. Parker, INSEAD. Terms of Use.

CONSTRAINT LOGIC PROGRAMMING

Specialty Definition: CONSTRAINT LOGIC PROGRAMMING

DomainDefinition

Computing

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]. (1994-11-01). Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top     

Crosswords: CONSTRAINT LOGIC PROGRAMMING

Specialty definitions using "CONSTRAINT LOGIC PROGRAMMING": CLP, CLP*, Constraint Handling In PrologWild_LIFE. (references)

Top     

Commercial Usage: CONSTRAINT LOGIC PROGRAMMING

DomainTitle

Books

  • Parallelism and Implementation of Logic and Constraint Logic Programming (reference)

    (more book examples)

Source: compiled by the editor from various references; see credits.

Top     

Frequency of Internet Keywords: CONSTRAINT LOGIC PROGRAMMING

The following statistics estimate the number of searches per day across the major English-language search engines as identified by various trade publications. Hyperlinks lead to commercial use of the expression at Amazon.com.
 
ExpressionFrequency
per Day

constraint logic programming

2
Source: compiled by the editor from various references; see credits.

Top     

Alternative Orthography: CONSTRAINT LOGIC PROGRAMMING


Hexadecimal (or equivalents, 770AD-1900s) (references)

43 4F 4E 53 54 52 41 49 4E 54      4C 4F 47 49 43      50 52 4F 47 52 41 4D 4D 49 4E 47

Leonardo da Vinci (1452-1519; backwards) (references)

        

Binary Code (1918-1938, probably earlier) (references)

01000011 01001111 01001110 01010011 01010100 01010010 01000001 01001001 01001110 01010100 00100000 01001100 01001111 01000111 01001001 01000011 00100000 01010000 01010010 01001111 01000111 01010010 01000001 01001101 01001101 01001001 01001110 01000111

HTML Code (1990) (references)

&#67 &#79 &#78 &#83 &#84 &#82 &#65 &#73 &#78 &#84 &#32 &#76 &#79 &#71 &#73 &#67 &#32 &#80 &#82 &#79 &#71 &#82 &#65 &#77 &#77 &#73 &#78 &#71

ISO 10646 (1991-1993) (references)

0043 004F 004E 0053 0054 0052 0041 0049 004E 0054      004C 004F 0047 0049 0043      0050 0052 004F 0047 0052 0041 004D 004D 0049 004E 0047

Encryption (beginner's substitution cypher): (references)

374948535452354348542464941433725052494152354747434841

Top     



INDEX

1. Crosswords
2. Usage: Commercial
3. Expressions: Internet
4. Orthography
5. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.