人工智能（AI）设计语言是一类适应于人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。能够用它来编写程序求解非数值计算、知识处理、推理、规划、决策等具有智能的各种复杂问题。
典型的人工智能语言主要有LISP、Prolog、Smalltalk、C++等。一般来说，人工智能语言应具备如下特点：具有符号处理能力（即非数值处理能力）；适合于结构化程序设计，编程容易；具有递归功能和回溯功能；具有人机交互能力；适合于推理；既有把过程与说明式数据结构混合起来的能力，又有辨别数据、确定控制的模式匹配机制。   金亚洲