Automated Inductive Reasoning about Logic Programs