prolog - 如何在prolog编程中定义谓词？

Question

Define the following predicate into a prolog program so that Min is the smaller of two numbers X and Y.

min (X, Y, Min)

你能帮我理解这个问题吗？

Answer 1

在 Prolog 中，我们谈论谓词。在其他语言中，您可能会称其为函数，但在数学中，我们坚信函数将单个值与将某个公式应用于该函数的其他一些参数的结果相关联。这种方向性在 Prolog 中不成立，因此我们称其为谓词或关系。

这个问题的规范解决方案是这样的:

min(X, Y, Min) :- X =< Y, Min = X; Min = Y.

在 Prolog 中，您总是有一个 Horn 子句，它有一个头部和一个主体。头部是 :- 之前的东西并命名谓词。正文是 :- 右侧的表达式列表.您应该将其读作“当 min(X, Y, Min) 和 X =< Y 或 Min = X 时推断 Min = Y”。如果满足子句的主体，则推断子句的头部。换句话说，如果 X =< Y和 Min = X ，那么你可以说 min(X, Y, X)持有。

这基本上是说，如果 X = < Y，则 Min 是 X；否则，Min 是 Y。它可能用多个子句表达更易读:

min(X, Y, X) :- X =< Y.
min(X, Y, Y) :- X > Y.

但这会产生一个不必要的选择点； Prolog 可能认为它在这里有多种解决方案，即使你我都知道 X 只能大于或等于 Y 或小于 Y。当您只能使用连词和析取词时，对于这种情况就有点矫枉过正了。)