我最近开始研究和与Prolog一起工作，该应用程序非常适合逻辑编程。特别要注意的是，SWI-Prolog（v。7.6.4，amd64）和Etalis（v。1.1）是prolog的扩展。
我不介意的含义是：/ 0，/ 1，甚至/ 2，/ 3，这是我在自定义谓词定义期间的示例中发现的。大部分的prolog指令是由directive_name / 1定义的。
那么，这些数字代表什么？
答案 0 :(得分：2)
这只是参数的数量。
例如，append / 3表示append（A1，A2，A3）。
答案 1 :(得分：2)
此数字称为 arity ，它是谓词或 functor 接受的参数数量。实际上，常量是具有零Arity的构成要素，因此/0。
谓词的名称与arity一起标识特定的谓词。例如，member/2谓词与append/2谓词不同，而append/3谓词与append/2谓词不同。