constraint logic programming (CLP(FD))
GPTKB entity
Statements (17)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:programming_language
constraint programming system |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
constraint logic programming (CLP(FD))
|
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 |
5
|