prolog - Prolog - 为什么你不能调用/1 用 (=..)/2 组成的子句？

Question

下面的一段代码：

Clause =.. [integer,1],

导致条款 = 整数（1）

我希望在 Clause 变量上使用 call/1 会导致 true。但是，SWI prolog 告诉我“参数没有充分实例化”。

Clause =.. [integer,1],
call(Clause).

为什么这不起作用？我已经看到 Bratko 在书中使用了这种技术。