Rule-Guided Reasoning