Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
constraint logic programming system
|
gptkbp:developedBy |
ECLiPSe team
|
https://www.w3.org/2000/01/rdf-schema#label |
ECLiPSe CLP(R)
|
gptkbp:license |
gptkb:ECLiPSe_Public_License
|
gptkbp:openSource |
true
|
gptkbp:programmingLanguage |
gptkb:Prolog
|
gptkbp:supportsConstraint |
real numbers
nonlinear constraints linear constraints |
gptkbp:usedFor |
gptkb:artificial_intelligence
operations research constraint satisfaction problems |
gptkbp:website |
https://eclipseclp.org/
|
gptkbp:bfsParent |
gptkb:CLP(R)
|
gptkbp:bfsLayer |
7
|