Memory-Restricted Datalog on Arduino

This is a small proof-of-concept implementation of the constraint check in the submitted paper "Memory-Restricted Datalog on Arduino".

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.

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

https://dbs.informatik.uni-halle.de/microlog/

README:

Prof. Dr. Stefan Brass