在序言中计算

Question

我知道在序言中我们要求的是真还是假， 我们还可以计算平均值以及谓词的样子吗？

Answer 1

当然，您可以计算数字列表的平均值，谓词将如下所示：

average(List, Result) :- length(List, Len), sum(List, Sum), Result is Sum / Len.

sum([], 0).
sum([H|T], Sum) :- sum(T, Temp), Sum is Temp + H.

然后您会得到：

?- average([1, 2, 3], X).
X = 2.

Answer 2

Prolog 不会询问某件事是真是假。这是一个常见的误解。 Prolog 尝试将查询目标与程序谓词统一。如果成功，它将返回对查询中出现的变量的赋值。如果失败 - 这不应该是常见情况 - 它会返回“false”。

至于平均值，请参见3electriclogos的回答。