使用PROLOG进行逻辑编程：PROLOG系统和实现

本书主页上的链接集中提供了当前PROLOG系统的概述。对于读者，我们推荐非常强大且免费提供的（GNU公共许可证下）系统GNU-PROLOG [Dia04]和SWI-PROLOG。对于以下实施例，使用SWI-PROLOG [Wie04]。

大多数现代PROLOG系统都使用基于Warren抽象机（WAM）的解释器。PROLOG源代码被编译成所谓的WAM代码，然后由WAM解释。WAM的最快实现在1 GHz PC上管理高达每秒1000万次逻辑推理（LIPS）。