Lisp in the real world

Question

I have experimented with Lisp (actually Scheme) and found it to be a very beautiful language that I am interested in learning more about. However, it appears that Lisp is n

Answer 1

Look up ACL2. It's a lisp based formal logic engine that has been used for a number of "real world" project like formal methods in software security and proofs of correctness for Floating point hardware.