call/3带主函子与单参数的工作原理及reif模块调用疑问

一、call/3搭配主函子与单个参数的工作方式 #

Prolog的call/3是动态调用谓词的通用工具：

• 如果第一个参数是主函子（比如p），后两个参数是谓词的参数，call(p, X, Y)就等价于直接写p(X, Y)——它把主函子作为谓词名，后面的参数依次传入。
• 要是第一个参数带元数（比如p/2），call(p/2, X, Y)和上面的调用完全等效，只是明确指定了谓词的元数，避免同名不同元数的谓词冲突。

举个实际例子：

greet(Hello, World) :- writeln(Hello), writeln(World).

demo :- call(greet, 'Hi', 'Stack Overflow'), nl, call(greet/2, 'Hello', 'Prolog').

运行demo.会输出两组问候语，两种调用方式效果一致。

二、scryer-pl reif模块中call(C_2, E)的逻辑 #

你看到的call(C_2, E)是Prolog的部分应用特性，不是写法错误：

• C_2是个2元谓词（比如reif里的member_t/2），call(C_2, E)并不会直接执行它，而是生成一个“半完成”的1元目标。这个目标只要再接收一个参数（比如真值T），就会变成完整的C_2(E, T)调用。

在reif模块的高阶谓词（比如if_/3）里，这种写法很常见：把固定了一个参数的谓词作为参数传递，让高阶谓词在内部补全剩下的参数。比如：

if_(call(member_t, E), Found, NotFound)

这里call(member_t, E)生成的闭包会在if_/3内部被传入第二个参数（表示是否找到的真值），最终执行member_t(E, T)来判断逻辑，再分支执行Found或NotFound。

这种写法既简洁又符合reif模块的高阶编程范式，不用重复写固定参数。

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