Prologcall / N谓词

示例

该call/N谓词的家人可以在运行时调用任意Prolog的目标：

?- G=true, call(G).
true.

?- G=(true,false), call(G).
false.
           
C++ 使用未初始化的局部变量 Prolog Meta-call 元通话
相关笔记