Learning SCIP, using LISP, a kind of FP language.

However, I have intention to learn CS3110 instead.