Statements (31)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:constraint_logic_programming_system
|
| gptkbp:application |
gptkb:artificial_intelligence
operations research constraint programming |
| gptkbp:developer |
IC-Parc
|
| gptkbp:firstReleased |
1992
|
| gptkbp:influenced |
gptkb:SICStus_Prolog
other CLP systems |
| gptkbp:influencedBy |
gptkb:Prolog
gptkb:CLP(R) |
| gptkbp:latestReleaseVersion |
7.1
2022-09-01 |
| gptkbp:license |
gptkb:ECLiPSe_Public_License
|
| gptkbp:notableFeature |
finite domain constraint solving
interval constraint solving linear and integer programming integration support for custom constraint solvers |
| gptkbp:openSource |
true
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:programmingLanguage |
gptkb:Prolog
|
| gptkbp:supportsLanguage |
gptkb:Prolog
ECLiPSe language extensions |
| gptkbp:usedFor |
combinatorial optimization
resource allocation scheduling |
| gptkbp:website |
https://eclipseclp.org/
|
| gptkbp:writtenBy |
gptkb:Prolog
C |
| gptkbp:bfsParent |
gptkb:clpr
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
ECLiPSe CLP
|