Rule Based Reasoning