prolog语言的清晰语句基本是事实；规则；询问。
PROLOG语言（逻辑编程语言）一般指逻辑编程语言。Prolog（Programming inlogic）是一种面向演绎推理的 逻辑型程序设计语言，最早于1972年由柯尔麦伦纳（Colmeraner）及其研究小组在法国马赛大学提出。
Prolog以处理一阶谓词演算为背景，由于其简单的 文法、丰富的表达力和独特的非过程语言的特点，很适合用来表达人类的思维和推理规则，因而一问世就赢得了人工智能研究和应用开发者的广泛兴趣。
尤其在西欧和日本，Prolog语言已经推广了许多应用领域，如关系数据库、数理逻辑、抽象问题活动、自然语言理解和专家系统等。日本仍在1979年提出了第五代计算机研究 计划中把Prolog作为语言核心。
Prolog实际上就是一种基于逆向规则的演绎推理技术，只是对规则和目标的表示有严格的限制。再加上演绎推理控制机制 本身的简单性，难以适用于复杂的应用领域。
特点
Prolog语言的语法结构相当简单，但描述能力极为重要。例如，当事实和规则描述的 那么问题就是待证的命题；当事实和规则描述的是某些数据和关系，那么问题就是数据查询语句；当事实和规则描述某些状态变化规律，那么问题就是
因此，Prolog语言是一种智能型程序设计语言。Prolog程序没有特定的运行顺序，程序运行顺序完全按照逻辑逻辑推导的方式进行。而不是由编程序的人 决定。Prolog是一种描述型语言，用特定的方法描述一个问题，然后由计算机自动找到这个问题的答案。