Declarative Programming for Microcontrollers - Datalog on Arduino.
Mario WenzelStefan BrassPublished in: CoRR (2019)
Keyphrases
- declarative programming
- logic programming
- answer set programming
- deductive databases
- logic programs
- expressive power
- hardware and software
- nonmonotonic reasoning
- query answering
- knowledge base
- stable models
- answer sets
- programming language
- datalog programs
- knowledge representation
- integrity constraints
- query language
- transitive closure
- stable model semantics
- artificial intelligence
- ontology based data access
- fixpoint
- inductive logic programming
- conjunctive queries
- orders of magnitude
- np complete