Portability of Prolog programs: theory and case-studies

Jan Wielemaker and Vítor Santos Costa

July 2010

---

Abstract

(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the ISO standard 13211-1. Since 2007, YAP and SWI-Prolog have established a basic compatibility framework. This article describes and evaluates this framework. The aim of the framework is running the same code on both systems rather than migrating an application. We show that today, the portability within the family of Edinburgh/Quintus derived Prolog implementations is good enough to allow for maintaining portable real-world applications.

Bibtex

@InProceedings{wielemaker-ciclops10,
  author =    {J. Wielemaker and V. Santos Costa},
  title =     {{Portability of Prolog programs: theory and case-studies}},
  booktitle = {Proceedings of the Joint Workshop on Implementation of Constraint Logic Programming
               Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010)},
  editor =    {G. Vidal and Neng-Fa Zhou},
  month =     {July},
  year =      {2010},
  address =   {Edinburgh, Scotland},
}

Download Paper

PDF file
The Computing Research Repository (CoRR)