I don't remember SICP, but I read lots of similar books. Actually the advisor wanted me to do this in Prolog, with the idea that we would try to prove equivale

I don't remember SICP, but I read lots of similar books. Actually the advisor wanted me to do this in Prolog, with the idea that we would try to prove equivalency between the entered answer and known answer. The problem is that I saw no way to do all of the mundane tasks in Prolog. LISP would have been a far better choice (perhaps with a unification library), but even LISP at the time did not have great support for X. I already knew C, and had to get the project done...