datalog post 1