On the Portability of Prolog Applications

  • Jan Wielemaker
  • Vítor Santos Costa
Conference paper

DOI: 10.1007/978-3-642-18378-2_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6539)
Cite this paper as:
Wielemaker J., Costa V.S. (2011) On the Portability of Prolog Applications. In: Rocha R., Launchbury J. (eds) Practical Aspects of Declarative Languages. PADL 2011. Lecture Notes in Computer Science, vol 6539. Springer, Berlin, Heidelberg


The non-portability of Prolog programs is widely considered one of the main problems facing Prolog programmers. Although since 1995, the core of the language is covered by the ISO standard 13211-1, this standard has not been sufficient to support large Prolog applications. As an approach to address this problem, since 2007, YAP and SWI-Prolog have established a basic compatibility framework. The aim of the framework is running the same code on Edinburgh-based Prolog systems rather than having to migrate an application. This article describes the implementation and evaluates this framework by studying how it can be used on a number of libraries and an important application.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jan Wielemaker
    • 1
  • Vítor Santos Costa
    • 2
  1. 1.VU University AmsterdamThe Netherlands
  2. 2.DCC-FCUP & CRACS-INESCUniversidade do PortoPortoPortugal

Personalised recommendations