prolog - 在Prolog中，事实和仿函数是一样的吗？

Question

例如，如果您有Prolog声明的下一行:

move(state(middle, onbox, middle, hasnot),
     grasp,
     state(middle, onbox, middle, has)).

既是移动仿函数又是状态仿函数？

我对事实，仿函数，术语，...感到困惑

Answer 1

是的，move和state是仿函数。仿函数是F中的F(Term1, ...)。但这不是事实:在您的情况下，只有一个事实，那就是完整的句子。