prolog语言的三种基本语句是事实；规则；询问。

PROLOG语言（逻辑编程语言）一般指逻辑编程语言。Prolog（Programming in logic）是一种面向演绎推理的逻辑型程序设计语言，最早于1972年由柯尔麦伦纳（Colmeraner）及其研究小组在法国马赛大学提出。

Prolog以处理一阶谓词演算为背景，由于其简单的文法、丰富的表达力和独特的非过程语言的特点，很适合用来表示人类的思维和推理规则，从而一问世就赢得了人工智能研究和应用开发者的广泛兴趣。

尤其在西欧和日本，Prolog语言已推广应用于许多应用领域，如关系数据库、数理逻辑、抽象问题求解、自然语言理解和专家系统等。日本还在其于1979年提出的第五代计算机研究计划中把Prolog列为核心语言。

Prolog实际上就是一种基于逆向规则的演绎推理技术，只不过对规则和目标的表示有严格的限制。再加上演绎推理控制机制自身的简单性，难以适用于复杂的应用域。

特点

Prolog语言的语法结构相当简单，但描述能力很强。例如，当事实和规则描述的是某一学科公理。那么问题就是待证的命题；当事实和规则描述的是某些数据和关系，那么问题就是数据查询语句；当事实和规则描述的是某些状态变化规律，那么问题就是目标状态。

因此，Prolog语言是一种智能型程序设计语言。Prolog程序没有特定的运行顺序，程序运行顺序完全按照数理逻辑推导的方式进行。而不是由编程序的人决定。Prolog是一种描述型语言，用特定的方法描述一个问题，然后由计算机自动找到这个问题的答案。

(1)LISP具有和图灵机相同的(也就是理论上最高的)计算能力;

在计算机科学的可计算理论中,人们已经证明递归函数和图灵机具有相同的（也就是理论上最高的）计算能力,通常指的是自然数集上的递归函数。这个结论对符号集上的递归函数也成立。JMcCarthy在LISP中设计了一套符号处理函数,它们具有符号集上的递归函数的计算能力,因此原则上可以解决人工智能中的任何符号处理问题。

(2)数据类型的唯一性,程序与数据的一致性;

LISP的数据类型和句法结构简单,甚至简单到具有唯一性和一致性:其数据和程序的表现形式是一样的， 都是用S-表达式一种形式基本的数据结构是表(表是S-表达式的特例)。

(3)数据和程序的 等价性;

LISP的数据和程序不仅类型一致,而且作用也等价；

即：程序可作为数据被处理，数据也可作为程序来执行。

(4)LISP一切功能由函数来实现，程序的运行就是求值；

LISP程序的通常形式是一串函数定义，其后跟着一串带有参数的函数调用，函数之间的关系只是在调用执行时才体现出来。

(5)LISP语言的控制结构以递归为主；

大多数语言使用的控制结构是以循环为主的，有的程序语言允许递归，而LISP以递归形式为主。递归是LISP能力的源泉。当然现在LISP也有循环结构和迭代。

(6)原子可以有任意多个值(特性值)；

LISP非常重要的一个特点是每个文字原子可以加许多特性，每个特性有一个特性表及对应的特性值。由于原子的多值性给使用者带来很多方便，给问题表示带来好处，使LISP很好用。

(7)LISP具有表的结构形式和规模的灵活性，不必预先设定；

(8)具有收集无用单元的功能。

//--------------------------------------------------------------------

prolog语言

(1)WHAT型语言；

Prolog 由程序设计的“How to do the Job”向 “What you want to do”前进一步。用户只要说明已知事实是什么，定义规则（说明对象间的关系），再告诉要解决的问题是什么（询问）就行了，不必告诉计算机如何一步一步做，问题的求解是通过Prolog的内部机制自动生成。

(2) 基于一阶谓词逻辑，既有坚实的理论基础，又有较强的表现能力；

Prolog的文法简单，描述能力强，更接近于自然语言，程序易写易读，程序量小。

(3) Prolog自动实现模式匹配（合一功能），自动回溯，这两种是人工智能系统中常用的基本操作；

(4)内部的回溯能力及不确定性使Prolog对同一个问题可给出多个解；

Prolog具有不确定的原因有二个：①过程性的不确定性：Prolog谓词调用是用模式匹配方式、自顶向下的深度优先搜索自动回溯策略，当变元值不满足谓词时产生回溯，求得变元之另一值，如此下去直到谓词为真；②变元特性的不确定性：系指谓词中变元既可用来作输入变元又可作输出变元的这种性质。变元特性的非确定性引起提问方式的多样性，增强了交互能力（会话能力）。过程的不确定性和变元特性的不确定性，这是传统程序设计语言以及另一种AI语言LISP所不具备的智能特性。

(5)Prolog的数据和程序的统一，Prolog提供了一种统一的数据结构--项(term），用来构造数据和程序。数据和程序并没有明显区别，同样存在数据库中。并且提供了修改数据库的指令ADDCL和DELCL，在程序执行中，可以自行修改数据、改变控制，因而可以编制能自行修改程序和数据的程序，为实现某些智能提供了方便；

(6)递归是Prolog语言的重要特点之一。

缺点：

(1)在编译系统实现问题上,在执行效率低问题上,在系统开销大的问题上,Prolog遇到了比LISP更大的困难;

由于深度优先算法,由于控制机制具有普遍性,由于递归和自动回溯,Prolog程序中间变量过多严重浪费内存,对具体的问题不免有多余的回溯,因而浪费了较多的机器时间和空间,降低了效率。

(2) 大型的Prolog程序调试不容易；

Prolog算法都是深度优先搜索和自动回溯，在程序执行过程中细节由系统内部掌握，减少了人设计控制的工作。但反过来，用户很难或根本无法控制算法的细节，对程序控制的唯一途径是通过“cut”操作（但cut影响了prolog的完备性）。因此大型prolog程序比LISP程序调试困难得多。

(3) Prolog的“not”是“失败的not”，不是逻辑否定，只有在封闭世界假设基础上才能认为是逻辑否定。Prolog对量词的处理也不够。它视所有规则前面有对规则中所有变元的全称量词，而视询问公式前有对询问中变元的存在量词。但实际应用中封闭世界假设不一定合适。

(4) Prolog是描述笥语言，处理的是关系，因而在过程性控制方面局限性较大。

但目前不少国家已经实现了Prolog和LISP语言之间或它们与传统语言之间的转换软件接口。所以在过程控制方面也有推广使用Prolog的，例如PC-Prolog。又如，POPLOG是LISP、PROLOG和POP-11的混合物，其中允许这三种语言写的程序互相调用。也有以一种程序设计风范为主、引进并兼顾另一种风范的，例如LOGLISP（以LISP结构为基础，加进逻辑程序成分的）。