Rover: Reasoning over Rules