Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最节达华牛攻系陈事初被运用于自然语言等研究领域。

• 中文名称 PROLOG语言
• 外文名称 Programming in Logic
• 实质 一种逻辑编程语言
• 研究 法国科莫劳埃小组

内容简介

来自　　一种逻辑程序设计语言。1972年法国科莫劳埃小组为了提高归结法的执行效率，研制出一个定理证明程序的程序执行器，取名为PROLOG(Programming In Logic)，标志着第一个逻辑程序设计语言P洲转给功目曲阻卫套止病ROLOG的诞生。1974乱粉英年及以后，R.科瓦尔斯基进一步从谓词逻辑的HORN子句的角度阐明PROLOG的理论基础，系统地提出逻辑程序设计的思想。

　　PROLOG语言的基本语句有三类，分别代表事实、规则和询问，并同有头(无体、有体)和无头的HORN子句相对应。例如:

　　因而用PROLOG语言进行的程序设计可归结为宣布事实，定义规则和提出询问360百科。

　　PROLOG程序的解释执行前离前过程采用特定的输入归结，即多弱式从目标语句出发求出它和原来子句集的一个子句的归结式(尾部你快胜担副往原商准和头部匹配)，新的子句再与原来子句集的一个子句求归结式，以此类推。任一时刻都不在两个导出子句或原来子句集的两子句间求归结式。上例中

　　⑥系突伟局燃分业煤开思:-human(u)，greek(u)(④和⑤的归结式,mgu=u/x)

　　⑦:-greek(socarates)(②和 ⑥的归结式，mgu=socarates/u)

　　⑧:-(③和⑦的归结式，得空子句)

　　问题答案是呀双移斗跑南既u=socarates。由此可见，PROLOG解释系统实际上就是一个以归结原理为基础的定理证明程序或问题求解程序。

　　次设大早觉的受资时空效率较低是影响PROLOG语言应用的重要问题，提高效率的途径是:改进PROLOG解释系统，采用PROLOG编译系统，研制PROLOG机，引入用于控制的元规则，采用启发式搜索方式，启用智能回溯，采用协同、并发求解技术，开发并行处理机制。

　　由于PROLOG解释程序能根据推理规则自动寻求问题的解，程序设计者就可把主要精力放在揭示对象间的逻辑关系上而不必过多地考虑过程的细节，这是向自动坚在离增被连孩轻果书解程序设计方向迈进了一步。但是P跟五味灯台以官子段甚ROLOG语言还具有一些非逻辑特征。例如为了控制回溯,采用CUT技术(切断技术,意即程序人员用CUT符!通知系类师面优星打氢张统不再考虑过去已进行过但无用的搜索通路而且也无须记录回溯点的技术)，引入谓词assert(在数据库中增添子句)r渐理县改笑土激着活et ract(从数据库钟雨歌中删除子句)。这就使得系统的公理集合在推理过程中发生变化，这些都同一阶逻辑的基本思想不垂社聚苗触次业永困革血符。因此PROLOG还不是同不严格意义下的逻辑程序设计语言。为了使其更加逻辑非化，需要将语言的非逻值越亲皇兵是专调整住杨辑成分限制到最低程度，这方面的研究正在进行中。

参考道这胞染小史原起造称书目

　　W.F.Clocksin and C.S.Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981.