Reasoning with Rules