Datalog Relaunched: Simulation Unification and Value Invention - Bry, F; Furche, T; Marnette, B; Ley, C; Linse, B; Poppe, O (Proceedings of the Datalog 2.0 Workshop, 2011)