Declarative Programming for Microcontrollers - Datalog on Arduino.

In this paper we describe a novel approach to programming microcontrollers based on the Arduino platform using Datalog as a clear and concise description language for system behaviors.