Prolog是一种独特的逻辑编程语言。本文将重点介绍其核心语法结构——规则，阐述其定义方式与实际应用方法。
1、 我们先从一条简单规则谈起。
2、 若某物既是食物又甜，约翰便会食用它。
3、 规则包含三个基本要素
4、 规则头部，本例中为 eats(john,Y)。
5、 符号:-表示逻辑上的如果或是，用于表达条件关系。
6、 规则体在此例中为：food(Y) 且 sweet(Y)。
7、 这是完整的代码实现。
8、 以下是运行结果：Prolog正尝试满足该查询。
9、 任务调整为同时满足food(Food)和sweet(Food)两个条件。
10、 Prolog语言因其逻辑推理特性，特别适用于解决地图着色、任务调度等难以用传统算法精确描述的问题。以地图着色为例：要求任意两个相邻区域颜色不同。现以美国东南部若干州为对象，尝试仅使用红、绿、蓝三种颜色完成着色，确保所有接壤州份颜色互异。这一过程无需显式循环或递归控制，而是通过定义事实与规则，由系统自动回溯求解，充分体现逻辑编程在约束满足问题中的天然优势。
11、 以下规则定义了美国各州之间的相邻关系。
12、 ……
13、 上图为完整代码
14、 运行时，可使用以下Prolog语句进行查询。
15、 这样便得到了所需结果。
16、 这些问题的解决并未依赖传统算法。Prolog并非依靠编写步骤化算法来处理逻辑问题，而是通过真实、准确地刻画现实世界中的关系与事实，构建可被自动推理的逻辑模型，交由系统自主求解。
