Reasoning on anonymity in Datalog+/-