SENAC: Lisp as a Platform for Constructing a Problem Solving Environment