Prolog中Subroutines作为参数传递的SWI运行报错问题咨询

现有代码的错误点 #

• 未定义基础事实：你代码中直接调用了male/1和female/1谓词，但没有提前定义对应事实，SWI-Prolog运行时会直接抛出谓词不存在的错误。
• 没有实现谓词传参逻辑：你当前写的test(in):-是固定匹配原子in，完全没有接收、调用传入谓词参数的逻辑，没有实现「将子程序作为参数传递」的测试目标。
• 内部逻辑变量冲突：你原有test子句中male(X) -> write("True") , female(X) -> write("True")的写法共享了变量X，要求同一个实例同时满足男性和女性，逻辑本身就不成立，且->为软cut，前半段匹配失败会直接终止整个分支，不会回溯。
• in谓词的返回值逻辑问题：in谓词本身只有执行成功/失败两种状态，不会向外传递X的绑定结果，就算你调用in也拿不到X的值用于后续的性别判断。

正确实现方案 #

Prolog原生支持高阶谓词，你可以用内置的call/N谓词调用传入的谓词参数，示例代码如下：

% 提前定义基础事实
male(jack).
female(rose).

% 自定义测试谓词，作为参数传递
in :-
  male(jack),
  female(rose).

% 支持接收谓词参数的通用test谓词
test(Pred) :-
  call(Pred) -> write("True") ; write("False").

在SWI-Prolog中加载代码后调用test(in)，就会自动执行传入的in谓词，命中匹配后输出True。

如果你需要传递带参数的谓词，可以直接传递谓词模板，使用call/2、call/3等对应多参数版本：

% 接收带1个参数的谓词和参数值
test_with_arg(Pred, Arg) :-
  call(Pred, Arg) -> write("True") ; write("False").

调用test_with_arg(male, jack)会输出True，调用test_with_arg(female, jack)会输出False。

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