想做一个专家系统，该用什么语言
我目前对C++最熟悉，熟悉Visual Studio环境和Win32 编程，java 和C#也经常用。另外学过ruby ，scheme，haskell和prolog，对它们的语法还算掌握。用C++当然是无所不能的，但用它编程实在是太琐碎了，Java ，C#跟C++差不多，只是方便不少。但是c++,java,c#都是传统的命令式语言，用来做专家系统，搞人工智能等不适合，编程量太大。ruby不说了，动态语言，表达起来比java和C#顺畅一点而以。Scheme和Prolog是传统的AI语言，可惜不是我的强项，而且他们都没有好的开发环境，也没有高效率的编译器或解释器，用的人少，交流不便。Haskell是纯正的FP语言，似乎是Scheme更好的替代，不过也没有好的IDE和编译器。
日本以前有个10年计划，采用prolog作为机器的核心语言，打算实现人工智能，可惜不太成功。所以我在想，日本花巨资做prolog机而不是lisp机，是不是因为prolog在AI方面比lisp强一点？但现在看来tiobe上的排名prolog比lisp落后好多。而且common lisp 和Scheme 都是ANSI标准，prolog似乎一直都没有一个ANSI 或ISO标准。
目前函数式语言，lisp是鼻祖，Haskell是纯FP语言，更优雅些。逻辑式语言似乎只有prolog。因为AI大多是符号运算，C++,Java,C#这些传统语言不擅长，表达起来很烦琐，我不想用C++,Java,C#这些传统的语言，所以想在common lisp,scheme,haskell,prolog中选择一种来学习专家系统(精力有限，只能增加一种语言，因为我觉得我学的语言够多的了)
根据上面的情况，请搞人工智能的兄弟推荐一门语言，能让我快速进入AI编程的领域，感激不尽！要求有好的IDE，丰富的库，成功的商业案例等等。
[解决办法]
和语言关系不大吧，你学这么多语言真是浪费不少的时间。
