論證順序

理想情況下，Prolog 謂詞可以用於所有方向。對於許多純謂詞，實際情況也是如此。但是，某些謂詞只能在特定模式下工作，這意味著它們的引數的例項化模式。

按照慣例，這種謂詞最常見的引數順序是：

• **** 首先放置輸入引數。必須在呼叫謂詞之前例項化這些引數。
• ** 屬於一起的引數對相鄰放置，例如 p(..., State0, State, ...)
• 預期的輸出引數放在最後。這些謂詞由謂詞例項化。