Declarative Programming for Microcontrollers - Datalog on Arduino.
Mario WenzelStefan BrassPublished in: DECLARE (2019)
Keyphrases
- artificial intelligence
- stable model semantics
- declarative programming
- logic programming
- answer set programming
- logic programs
- stable models
- deductive databases
- knowledge representation
- expressive power
- hardware and software
- datalog programs
- answer sets
- query answering
- fixpoint
- query language
- nonmonotonic reasoning
- programming language
- inductive logic programming
- expert systems
- np complete
- first order logic
- database
- knowledge base
- databases