Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic.
Martin LesterPublished in: CoRR (2019)
Keyphrases
- expressive power
- computational properties
- first order logic
- query language
- data complexity
- transitive closure
- monadic second order logic
- relational algebra
- relation algebra
- artificial intelligence
- recursive queries
- modal logic
- user defined aggregates
- databases
- predicate logic
- nonmonotonic logics
- classical logic
- logic programming
- knowledge representation
- search algorithm
- machine learning