On the Expressive Power of Datalog: Tools and a Case Study