finished new Datalog + new unfolding strategies