Rigel: An Inductive Learning System