Prolog失败否定定义：call(G)与直接使用G的必要性探讨

很多Prolog教程里的失败否定（negation as failure）定义是这样的：

% negation as failure
negation(G) :- call(G), !, fail. 
negation(_).

正式技术问询1：定义失败否定时，必须用call/1包裹目标G吗？ #

有人给出了另一个未使用call/1包裹G的定义，测试显示可以正常运行：

% negation as failure
negation2(G) :- G, !, fail. 
negation2(_).

在SWI-Prolog（Swish）中的测试结果如下：

?- negation2(true)
false

?- negation2(false)
true

同时该定义也通过了简短Prolog程序的测试。

正式技术问询2：是否存在必须使用call(G)而不能直接用G的场景？ #

问题解答 #

1. 对于第一个问题：不需要。在Prolog中，当变量G绑定到合法目标时，直接写G和写call(G)的效果完全等价——Prolog会自动尝试执行这个目标。你测试里的negation2/1能正常工作，就是最直接的证明。

2. 对于第二个问题：存在这类场景，主要分为以下几种情况：

   • 未完全实例化的复合项目标：如果G是还没完全实例化的复合项，部分Prolog实现里直接写G可能触发过早的类型检查或报错，而call/1能更稳妥地处理延迟执行的需求。
   • 跨方言兼容性与可读性：有些老版本的ISO Prolog方言对直接执行变量目标的支持有限，用call/1能保证代码在不同Prolog实现间的兼容性。另外，显式写call/1能让代码更易读，明确表明这里是要调用一个动态目标。
   • 高阶编程场景：在涉及高阶谓词（比如需要传递目标作为参数的谓词）的复杂代码中，显式使用call/1能避免语义歧义，让逻辑更清晰。比如把目标作为参数传递给其他谓词时，call/1的语义指向性更强。

内容的提问来源于stack exchange，提问作者Penelope