Use domain reasoners to analyse step-wise solutions of math exercises

The goal of this project is to analyse a set of student solutions to a high school math exercise. Students often solve an exercise in a number of steps, and we want to find out what strategy they use to solve the exercise, which steps they take, which errors they make, etc. We have a set of about 10.000 solutions to the same exercise available. We want to analyse these solutions by developing a parser in Haskell, and by using various kinds of technologies from the ideas domain reasoners to answer the above questions.