PROLOG语言
PROLOG语言（英语：PROLOG language），一种逻辑程序设计语言。1972年法国科莫劳埃小组为了提高归结法的执行效率，研制出一个定理证明程序的程序执行器，取名为PROLOG(Programming In Logic)，标志着第一个逻辑程序设计语言PROLOG的诞生。1974年及以后，R.科瓦尔斯基进一步从谓词逻辑的HORN子句的角度阐明PROLOG的理论基础，系统地提出逻辑程序设计的思想。
PROLOG语言的基本语句有三类，分别代表事实、规则和询问，并同有头（无体、有体）和无头的HORN子句相对应。例如：
因而用PROLOG语言进行的程序设计可归结为宣布事实，定义规则和提出询问。
PROLOG程序的解释执行过程采用特定的输入归结，即从目标语句出发求出它和原来子句集的一个子句的归结式（尾部和头部匹配），新的子句再与原来子句集的一个子句求归结式，以此类推。任一时刻都不在两个导出子句或原来子句集的两子句间求归结式。
上例中
- ⑥：-human(u)，greek(u)（④和⑤的归结式,mgu＝u/x）
- ⑦：-greek(socarates)（②和 ⑥的归结式，mgu＝socarates/u）
- ⑧：- （③和⑦的归结式，得空子句）
问题答案是u＝socarates。由此可见，PROLOG解释系统实际上就是一个以归结原理为基础的定理证明程序或问题求解程序
时空效率较低是影响PROLOG语言应用的重要问题，提高效率的途径是：改进PROLOG解释系统，采用PROLOG编译系统，研制PROLOG机，引入用于控制的元规则，采用启发式搜索方式，启用智能回溯，采用协同、并发求解技术，开发并行处理机制。
由于PROLOG解释程序能根据推理规则自动寻求问题的解，程序设计者就可把主要精力放在揭示对象间的逻辑关系上而不必过多地考虑过程的细节，这是向自动程序设计方向迈进了一步。但是PROLOG语言还具有一些非逻辑特征。例如为了控制回溯,采用CUT技术（切断技术,意即程序人员用CUT符!通知系统不再考虑过去已进行过但无用的搜索通路而且也无须记录回溯点的技术），引入谓词assert（在数据库中增添子句）ret ract（从数据库中删除子句）。这就使得系统的公理集合在推理过程中发生变化，这些都同一阶逻辑的基本思想不符。因此PROLOG还不是严格意义下的逻辑程序设计语言。为了使其更加逻辑化，需要将语言的非逻辑成分限制到最低程度，这方面的研究正在进行中。
