人工智能编程语言是一类适应于人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。能够用它来编写程序求解非数值计算、知识处理、推理、规划、决策等具有智能的各种复杂问题。

事实上，现在已经有多种对应于各种不同知识表示方式的人工智能编程语言。按所对应的知识表示方式不同。大体上可以区分为以下几类:

1.对应于产生式规则知识表示的语言。例如，由美国卡耐基·梅农大学的C·L·福基（C.L.Forgy）等人于1 977年开发的OPS(official production system)，当时’就用它来为DEC公司开发了一个解决VAX计算机系统配置问题的专家系统X1/XCON。

2.对应于逻辑公式知识表示的语言。一种已广为应用的逻辑语言就是PROLOG。它是1 970年由法国马塞大学的 A.柯迈豪埃(Alain Colmerauer)所开发的。

3.对应于框架或语义网知识表示的语言。这是一类所谓“面向对象”的(object-oriented)语言。其中一个有代表性的语种就是Smalltalk。它是在1980年首创，后来发展了好几个版本，通常以发布的年份来标记，例如，第1个版本叫Smalltalk-80等等。