Title: Logical Foundations for Rule-Based Systems