Scala ? OO/Functionnal JVM based language. Not the purest FP language ever, but it is used a lot (Finance, web...).

Any lisp (Scheme, Closure...)

Prolog: logic programming. Tell the computer what you know, ask a question and let it compute the answer for you.