Prolog程序的可移植性：理论与案例研究
摘要：Prolog程序的（非）可移植性被广泛认为是该语言缺乏接受度的重要因素。自1995年以来，该语言核心已由ISO标准13211-1所覆盖。自2007年以来，YAP和SWI-Prolog建立了一个基本的兼容性框架。本文描述并评估了该框架。该框架的目标是在两个系统上运行相同的代码，而不是迁移应用程序。我们表明，如今在Edinburgh/Quintus派生的Prolog实现家族中，可移植性已足够好，可以维护可移植的实际应用程序。
作者：Jan Wielemaker and V''itor Santos Costa
论文ID：1009.3796
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-09-21