Initial import of datalog
Cleaned up tab/space indents
Fixes after running pylint