Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts.
Falco NogatzDietmar SeipelPublished in: WLP / WFLP (2017)
Keyphrases
- deductive databases
- query language
- logic programming
- query evaluation
- logic programs
- fixpoint
- conjunctive queries
- data model
- integrity constraints
- disjunctive deductive databases
- integrity checking
- declarative language
- expressive power
- logic programming language
- semantic query optimization
- declarative semantics
- regular expressions
- model theoretic
- constraint checking
- recursive queries
- relational algebra
- expert systems
- object oriented
- complex objects
- database
- transitive closure
- knowledge base
- knowledge representation
- nonmonotonic reasoning
- programming language
- stable models
- query processing
- logical implication
- closed world assumption
- constraint logic programming
- datalog programs
- answer set programming
- horn clauses
- data analysis