序言，测试（X，Y，Z）：- Y 是 X + Z

Question

当我只知道X时，如何在序言中得到Y和Z？

例如：

test(X, Y, Z) :- X is Y + Z.

但是错误：

?- test(2, Y, Z).
ERROR: is/2: Arguments are not sufficiently instantiated

Answer 1

这是不可能的，因为您可以选择 Y 为您想要的任何内容，而它们会计算 Z，反之亦然。

尽管如果您知道 Y 和 Z 来自某个有限集合（例如小于 5 的正整数），您可以执行以下操作：

valid_number(1).
valid_number(2).
valid_number(3).
valid_number(4).

test(X, Y, Z) :- valid_number(Y), valid_number(Z), X is Y + Z.

Answer 2

您必须将它们作为参数传递。 Prolog 算术（is/2）不是一根魔杖，它的右参数必须在计算之前完全实例化（无变量）。

如果您希望谓词在多个“方向”上工作，具有基本项和变量的多种组合，您将需要使用约束逻辑编程，但这是逻辑编程的一个相当高级的领域。在有限域上的 CLP 中，你可以说

:- use_module(library(clpfd)).  % this differs between implementations
test(X,Y,Z) :- X #= Y + Z.