Inductive Learning as Rule-Guided Generalization of Symbolic Descriptions: A Theory and Implementation