有无哪位高人了解现代研发人工智能(强人工智能,不是低级的),用的是什么语言?如果是多个的话请列举,例如逻辑推理、语音识别等所用到的。听说苏州大学有这方面的研究，知道的话简单介绍一下更好，不知道也无所谓，谢谢！
人工智能（AI）设计语言是一类适应于人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。能够用它来编写程序求解非数值计算、知识处理、推理、规划、决策等具有智能的各种复杂问题。
典型的人工智能语言主要有LISP、Prolog、Smalltalk、C++等。一般来说，人工智能语言应具备如下特点：
具有符号处理能力（即非数值处理能力）；
适合于结构化程序设计，编程容易；
具有递归功能和回溯功能；
具有人机交互能力；
适合于推理；
既有把过程与说明式数据结构混合起来的能力，又有辨别数据、确定控制的模式匹配机制。