Prolog 编程语言基本语句及示例代码

Prolog 是一种逻辑编程语言，它基于一阶逻辑和形式化的推理规则。在 Prolog 中，我们使用事实和规则来描述问题的知识，并通过查询来获取关于这些知识的答案。本文将介绍 Prolog 的基本语句，并提供一些示例代码来说明它们的使用。

1. 事实（Facts）：
   在 Prolog 中，事实是描述关于世界的真实陈述。它们用于表示已知的信息，并且不能被修改。事实的语法形式是一个谓词（predicate）加上一组参数，用括号括起来。下面是一个简单的事实的例子：

likes(john, pizza).

上述代码表示 “John 喜欢披萨”。这是一个简单的二元谓词，其中 “likes” 是谓词名，“john” 是第一个参数，“pizza” 是第二个参数。

2. 规则（Rules）：
   规则在 Prolog 中用于推理新的信息。规则由头部和体部组成，头部是一个谓词，体部包含一个或多个条件。当体部中的条件都满足时，规则的头部被认为是真的。以下是一个规则的示例：

mortal(X) :- human(X).

上述代码表示 “如果 X 是人类，则 X 是凡人”。在这个例子中，“human(X)” 是体部条件，“mortal(X)” 是头部。

3. 查询（Queries）：
   在 Prolog 中，我们可以通过查询来获取关于事实和规则的答案。查询的语法形式是一个谓词加上一组参数