Prolog 子句

在 Prolog 中，程序包含一个或多个子句的序列。 子句可以跨越多行。 使用点字符可以终止一个子句。 此点字符后至少跟一个“空白”字符。 子句有两种类型：事实和规则。

事实以头部的形式指定。头部被称为子句头部。 它将以与用户在提示符处输入的目标相同的方式进行。 子句的头部必须是复合项或原子。 复合项和原子统称为调用项。

事实的例子如下

规则以以下形式指定

头部被称为子句头部。

:- 被称为子句颈部。 读作“if”。 子句的主体由 t1, t2, t3, tk 指定。 它包含一个或多个组件，并且可以使用逗号分隔。 目标代表组件。 命令由“and”表示。

一个规则可以理解为“如果 t1, t2, t3,…., tk 都为真，则头部为真”。

规则的例子如下

以下程序显示了另一个动物程序。 该程序包括事实和规则。

动物程序 2 的例子如下

原子是罗威纳犬、暹罗猫、杜宾犬等，它们以小写字母开头表示。 变量是 A 和 B，它们以小写字母开头表示。

事实由前 18 个子句表示。 规则由最后两个子句表示。