1. 人工智能程序设计语言主要包括LISP、Prolog、Smalltalk、C等。2. 人工智能语言应具备符号处理能力、适合结构化程序设计、具有递归和回溯功能、具备人机交互能力、适合推理,并且能够混合过程与说明式数据结构,具备辨别数据和模式匹配机制。3. 人工智能手册中介绍了七种人工智能语言:LISP、PLANNER、CINNIVER、QLISP、POP-2、SAIL、FUZZY。4. 在众多人工智能语言中,LISP和Prolog是占据重要地位的两种人工智能程序设计语言。5. 尽管LISP和Prolog在人工智能研究和应用中的重要性存在争议,但它们的地位无可否认。6. 根据美国AI界的权威学者、麻省理工学院教授P.H.Winston的观点,LISP是AI的数学,对AI的机器实现和理论研究具有重要意义,而Prolog则是一种突破传统HOW型语言陈规的高级语言。7. LISP可以称为人工智能的汇编语言,而Prolog则是更高级的人工智能语言。