Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Clojure library
|
| gptkbp:author |
gptkb:David_Nolen
|
| gptkbp:firstReleased |
2011
|
| https://www.w3.org/2000/01/rdf-schema#label |
core.logic
|
| gptkbp:implementedIn |
gptkb:miniKanren
gptkb:Datalog |
| gptkbp:inspiredBy |
gptkb:Prolog
gptkb:miniKanren |
| gptkbp:latestReleaseVersion |
1.0.0
|
| gptkbp:license |
gptkb:Eclipse_Public_License
|
| gptkbp:maintainedBy |
gptkb:Clojure_core_team
|
| gptkbp:programmingLanguage |
gptkb:Clojure
|
| gptkbp:provides |
logic programming
constraint programming |
| gptkbp:repository |
https://github.com/clojure/core.logic
|
| gptkbp:usedFor |
relational programming
|
| gptkbp:bfsParent |
gptkb:David_Nolen
gptkb:miniKanren |
| gptkbp:bfsLayer |
7
|