论证顺序

理想情况下，Prolog 谓词可以用于所有方向。对于许多纯谓词，实际情况也是如此。但是，某些谓词只能在特定模式下工作，这意味着它们的参数的实例化模式。

按照惯例，这种谓词最常见的参数顺序是：

• **** 首先放置输入参数。必须在调用谓词之前实例化这些参数。
• ** 属于一起的参数对相邻放置，例如 p(..., State0, State, ...)
• 预期的输出参数放在最后。这些谓词由谓词实例化。