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