Designing an intelligent prolog tutor
2005 ◽
pp. 420-431