Constraint Logic Programming
GPTKB entity
Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:abbreviation |
gptkb:CLP
|
| gptkbp:appliesTo |
gptkb:artificial_intelligence
mathematical optimization Scheduling Operations research |
| gptkbp:combines |
Logic programming
Constraint solving |
| gptkbp:hasFeature |
Unification
Backtracking Constraint propagation Declarative programming Search strategies |
| gptkbp:hasLanguage |
gptkb:SICStus_Prolog
gptkb:SWI-Prolog gptkb:CLP(FD) gptkb:CLP(R) gptkb:ECLiPSe gptkb:GNU_Prolog |
| https://www.w3.org/2000/01/rdf-schema#label |
Constraint Logic Programming
|
| gptkbp:notablePerson |
gptkb:Joxan_Jaffar
gptkb:Michael_J._Maher |
| gptkbp:notablePublication |
gptkb:Joxan_Jaffar_and_Michael_J._Maher,_'Constraint_Logic_Programming:_A_Survey',_Journal_of_Logic_Programming,_1994
|
| gptkbp:originatedIn |
1980s
|
| gptkbp:relatedTo |
gptkb:Prolog
Constraint satisfaction problem |
| gptkbp:usedFor |
Resource allocation
Verification Configuration problems Timetabling |
| gptkbp:bfsParent |
gptkb:CLP
|
| gptkbp:bfsLayer |
5
|