1. IPL.一种早期的表处理语言.IPL是Infor-mation Processing Language的首字母缩写.该语言是专为人工智能应用而设计的早期语言之一表处理是IPL的主要目标.现在它已完全被LISP这样的高级语言所取代.但其意义犹存，因为它是研制人工智能语言的起点.
2. LISP.应用最广泛的表处理语言.I_ISY是List Processing(表处理)的首字母缩写.该语言是最早和最重要的逻辑型编程语言之一它于1958年由美国的麦卡锡(McCarthy, J.)提出，并于1960年发表了他的第一篇关于LISP的论文.之后，LISP语言很快得到广泛的应用，仍有使用LISP语言来编写人工智能系统的.LISP语言具有各种不同的版本.使用最广泛的是INTERLISP ,MACLISP和COMMON LISP.其中COMMONLISP是在20世纪80年代初，由美国二十几家大学和研究所联合设计的，它是LISP语言发展的新的里程碑.
3. SAIL. SAIL是ALGOL语言的变种，它最类似于常规的通用程序设计语言.但具有支持相关存储器、能直接与汇编语言过程相连结等附加特性.由于SAIL具备一门程序设计语言的所有标准特性，所以常用来求解涉及大量传统计算的人工智能问题.
4. PLANNER一种便于目标定向处理的早期语言.PLANNER是建立在LISP的基础之上，为问题求解及定理证明而提出的一种语言，该语言能实现传统的正向推理和面向目标的逆向推理等功能.一个PLANNER程序包括断言和定理两部分，断言部分用于指出已知事实，而定理部分则描述如何根据旧事实推出新事实.它们分别被存储在断言数据库和定理数据库中.
5. KRL. KRI_是Knowledge RepresentationLanguage的首字母缩写.该语言建立在LISP之上，易于表达框架结构中的知识，是一种能够支持复杂框架结构的语言.
6. PROLOG.应用最广泛的逻辑程序设计语言.PROLOG是Programming in Logic的首字司缩写.该语言是一种基于一阶谓词逻辑的产生式规则语言.它由法国的考莫瑞尔(Colmerauer, A. )和他在马塞大学的助手于1972年发明的.该语言的一个最显著的特点是想让程序员能以接近自然语言配形式，告诉计算机做什么("WHAT")，而不必像传统的程序设计语言那样，必须告诉计算机怎样做("HOW").
PROLOG描述功能强，具有逻辑推理能力，语法简单，使用方便，已在专家系统、定理证明系统、数据库和知识库系统、机器人规划与控制系统、自然语言理解、计算机辅助设计等诸多领域得到成功的应用.PROLOG程序一般可分为事实和规则两部分.事实用只有句首的horn子句表示，规则由一个完整的horn子句表示.而PROLOG程序的执行则通过使用只有句体的horn子句并以询问的方式来实现.用 PROLOG语言编程包括:规定操作对象以及关系的一批事实;规定操作对象以及关系的一批规则;询问操作对象以及关系的具体问题.PROLOG本身就是一个使用归结法的演绎推理机，它通过合一、置换、消解、回溯和匹配等机制来求解问题.PROLOG语言也有许多不同的版本，如PROLOG, C-PRO-LOG, H-PROLOG, micro-PROLOG以及TurboPROLOG等.
[1]
原文链接：https://baike.baidu.com/item/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E8%AE%BE%E8%AE%A1%E8%AF%AD%E8%A8%80/19132252?fr=aladdin
