Constraint Logic Programming over Reals
GPTKB entity
Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:abbreviation |
gptkb:CLP(R)
|
| gptkbp:application |
gptkb:geometry
operations research robotics optimization scheduling |
| gptkbp:basedOn |
logic programming
constraint satisfaction |
| gptkbp:developedBy |
gptkb:Joxan_Jaffar
gptkb:Michael_J._Maher Peter J. Stuckey Kim Marriott |
| gptkbp:field |
gptkb:artificial_intelligence
computer science constraint programming |
| gptkbp:firstPublished |
1992
|
| https://www.w3.org/2000/01/rdf-schema#label |
Constraint Logic Programming over Reals
|
| gptkbp:languageOfName |
declarative programming language
|
| gptkbp:notableFor |
gptkb:SICStus_Prolog
gptkb:ECLiPSe gptkb:GNU_Prolog |
| gptkbp:relatedTo |
gptkb:Prolog
gptkb:Constraint_Logic_Programming Constraint Satisfaction Problem |
| gptkbp:supports |
real numbers
nonlinear constraints linear constraints |
| gptkbp:bfsParent |
gptkb:clpr
|
| gptkbp:bfsLayer |
7
|