Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
query language |
| gptkbp:basedOn |
gptkb:Prolog
|
| gptkbp:compatibleWith |
function symbols
|
| gptkbp:designedFor |
deductive databases
|
| gptkbp:hasApplication |
gptkb:transformation
semantic web data governance network analysis configuration management data mining data warehousing access control information integration data enrichment data lineage program analysis data cleaning data curation graph databases security analysis data federation data provenance business rules ontology reasoning policy engines |
| gptkbp:hasFeature |
bottom-up evaluation
declarative semantics fixed-point semantics no complex terms stratified negation |
| https://www.w3.org/2000/01/rdf-schema#label |
Datalog
|
| gptkbp:influenced |
gptkb:Bloom
gptkb:Clojure_Datalog gptkb:Datafun gptkb:Datomic_Datalog gptkb:LogicBlox gptkb:Soufflé gptkb:logicBlox gptkb:Flix gptkb:Datomic |
| gptkbp:originatedIn |
1980s
|
| gptkbp:similarTo |
gptkb:Prolog
|
| gptkbp:supports |
recursion
|
| gptkbp:usedIn |
gptkb:knowledge_representation
static analysis data integration database theory |
| gptkbp:uses |
Horn clauses
|
| gptkbp:bfsParent |
gptkb:Prolog
|
| gptkbp:bfsLayer |
5
|