Prolog 是一种逻辑编程语言,它基于一阶逻辑和形式化的推理规则。在 Prolog 中,我们使用事实和规则来描述问题的知识,并通过查询来获取关于这些知识的答案。本文将介绍 Prolog 的基本语句,并提供一些示例代码来说明它们的使用。
- 事实(Facts):
在 Prolog 中,事实是描述关于世界的真实陈述。它们用于表示已知的信息,并且不能被修改。事实的语法形式是一个谓词(predicate)加上一组参数,用括号括起来。下面是一个简单的事实的例子:
likes(john, pizza).
上述代码表示 “John 喜欢披萨”。这是一个简单的二元谓词,其中 “likes” 是谓词名,“john” 是第一个参数,“pizza” 是第二个参数。
- 规则(Rules):
规则在 Prolog 中用于推理新的信息。规则由头部和体部组成,头部是一个谓词,体部包含一个或多个条件。当体部中的条件都满足时,规则的头部被认为是真的。以下是一个规则的示例:
mortal(X) :- human(X).
上