Datalog interface at TUM