constraint logic programming (CLP(FD))
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:constraint_programming_system
gptkb:programming_language |
| gptkbp:abbreviation |
gptkb:Constraint_Logic_Programming_over_Finite_Domains
|
| gptkbp:basedOn |
constraint logic programming
|
| gptkbp:field |
gptkb:artificial_intelligence
computer science |
| gptkbp:focusesOn |
finite domains
|
| gptkbp:implementedIn |
gptkb:Prolog
gptkb:SICStus_Prolog gptkb:SWI-Prolog |
| gptkbp:usedFor |
resource allocation
scheduling puzzle solving combinatorial problem solving |
| gptkbp:bfsParent |
gptkb:GNU_Prolog
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
constraint logic programming (CLP(FD))
|