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

| Domain | Definition |
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. | |
Crosswords: CONSTRAINT LOGIC PROGRAMMING |
| Specialty definitions using "CONSTRAINT LOGIC PROGRAMMING": CLP, CLP*, Constraint Handling In Prolog ♦ Wild_LIFE. (references) |
| Domain | Title |
Books | |
Source: compiled by the editor from various references; see credits. | |
| 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. |
| Expression | Frequency per Day |
constraint logic programming | 2 |
| Source: compiled by the editor from various references; see credits. | |
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)C O N S T R A I N T   L O G I C   P R O G R A M M I N G |
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 |
| 1. Crosswords 2. Usage: Commercial 3. Expressions: Internet 4. Orthography | 5. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.