Symbolic Learning Algorithm