Prolog and Lisp would shine here refactoring code and writting and veryfing unit tests by themselves. For obvious reasons. Lexical parsing it's an exercise for

Prolog and Lisp would shine here refactoring code and writting and veryfing unit tests by themselves. For obvious reasons. Lexical parsing it's an exercise for Common Lisp programmers, and ditto with Contrain Satisfaction Problems under that language.