抽象機器

為了提高效率，Prolog 程式碼通常在執行之前編譯為抽象機器程式碼。

已經提出了許多不同的抽象機器架構和變體來有效地執行 Prolog 程式。這些包括：

• WAM ， Warren 抽象機器
• TOAM ，B-Prolog 中使用的抽象機器。
• ZIP ，例如用作 SWI-Prolog 的 VM 的基礎
• VAM ，一個在維也納開發的研究架構。