A compiler for stratified Datalog programs: preliminary results