Use datalog for not-equal and selecting only attributes we want