典型的人工智能语言主要有LISP、Prolog、Smalltalk、C++等。在人工智能手册中介绍了七种人工智能语言：LISP,PLANNER,CINNIVER,QLISP,POP-2,SAIL,FUZZY。近百种人工智能语言中，只有LISP和后起之秀Prolog是人工智能研究和应用中占重要地位的两种人工智能程序设计语言。