发布于2018年12月13日 由历史地图研究使用PROLOG进行逻辑编程:PROLOG系统和实现 点击打开微信,马上办理ETC 本书主页上的链接集中提供了当前PROLOG系统的概述。对于读者,我们推荐非常强大且免费提供的(GNU公共许可证下)系统GNU-PROLOG [Dia04]和SWI-PROLOG。对于以下实施例,使用SWI-PROLOG [Wie04]。 大多数现代PROLOG系统都使用基于Warren抽象机(WAM)的解释器。PROLOG源代码被编译成所谓的WAM代码,然后由WAM解释。WAM的最快实现在1 GHz PC上管理高达每秒1000万次逻辑推理(LIPS)。 点击打开微信,马上办理ETC 意见反馈