/ 2/3在prolog中意味着什么？

Question

我在示例代码中看到的那些/2 /3有什么作用？

喜欢这个：

4 ?- trace([equals,contains]).

% equals/2: [call, redo, exit, fail]

% contains/2: [call, redo, exit, fail]

另外，对于我可以反复回复的好的视频/书籍教程的任何建议都会有很大的帮助。

Answer 1

Learn Prolog Now!是一个不错的教程。

在Prolog中，以'％'开头的行是注释。

equals/2描述了一个名为equals的仿函数，其arity为2，这意味着它需要两个参数。