Furthering Datalog In The Pursuit of Program Analysis