SMS: Algorithmic learning for knowledge-based systems :