Explicit Reflection in Prolog-Tutor
the andes physics tutoring system : lessons learned .