Integrity Constraints for Microcontroller Programming in Datalog

This is a small proof-of-concept implementation of the constraint check in the submitted paper "Integrity Constraints for Microcontroller Programming in Datalog".

The program is being actively developed. Please check again this webpage in a few days. There also will be more examples soon. And a specification of the input syntax. The parser could also check for more errors.

Datalog for Arduino:

More work on Datalog for Arduino and the Lego EV3 Roboter System is reported at:

(Currently, the language of this main project, which contains a compiler from Datalog to Arduino C code, differs in some slight details.)


Source Code:

You can download a zip-archive of all source files.

Prof. Dr. Stefan Brass