抽象机器

为了提高效率，Prolog 代码通常在运行之前编译为抽象机器代码。

已经提出了许多不同的抽象机器架构和变体来有效地执行 Prolog 程序。这些包括：

• WAM ， Warren 抽象机器
• TOAM ，B-Prolog 中使用的抽象机器。
• ZIP ，例如用作 SWI-Prolog 的 VM 的基础
• VAM ，一个在维也纳开发的研究架构。