Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
Prolog implementation |
| gptkbp:category |
gptkb:Prolog_programming_language
Logic programming language Constraint programming language |
| gptkbp:containsCommunity |
yes
|
| gptkbp:developer |
gptkb:Cisco_Systems
IC-Parc |
| gptkbp:documentation |
https://eclipseclp.org/doc/
|
| gptkbp:firstReleased |
1992
|
| gptkbp:focusesOn |
gptkb:artificial_intelligence
operations research constraint programming |
| gptkbp:hasFeature |
debugger
garbage collection Unicode support linear programming module system multi-threading profiling tools mixed integer programming foreign language interface finite domain constraints integer constraints constraint handling rules interface to external solvers interval constraints |
| gptkbp:hasPackage |
yes
|
| https://www.w3.org/2000/01/rdf-schema#label |
ECLiPSe Prolog
|
| gptkbp:latestReleaseVersion |
2023
7.1 |
| gptkbp:license |
gptkb:ECLiPSe_Public_License
|
| gptkbp:openSource |
true
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:paradigm |
logic programming
constraint logic programming |
| gptkbp:programmingLanguage |
gptkb:Prolog
|
| gptkbp:relatedTo |
gptkb:SICStus_Prolog
gptkb:SWI-Prolog gptkb:GNU_Prolog |
| gptkbp:usedFor |
gptkb:teacher
AI research combinatorial optimization planning resource allocation scheduling |
| gptkbp:website |
https://eclipseclp.org/
|
| gptkbp:writtenBy |
gptkb:Prolog
C |
| gptkbp:bfsParent |
gptkb:CLP(FD)
|
| gptkbp:bfsLayer |
7
|