索引

所有廣泛使用的 Prolog 直譯器都使用引數索引來有效地選擇合適的子句。

使用者通常至少可以依賴於第一個引數索引，這意味著可以通過第一個引數的最外層術語的仿函式和 arity 來有效地區分子句。在該引數被充分例項化的呼叫中，匹配子句基​​本上可以通過對該引數進行雜湊而在恆定時間內選擇。

最近， JIT 索引已經在更多系統中實現，可以在呼叫謂詞時對任何充分例項化的引數進行動態索引。