Prolog - 为什么不能用/（= ..）/ 2来调用/ 1？

Question

以下代码：

Clause =.. [integer,1],

导致Clause = integer（1）

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

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

为什么这不起作用？我已经看到布拉特科在书中使用过这种技术。