On the Portability of Prolog Applications

  • Jan Wielemaker
  • Vítor Santos Costa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6539)

Abstract

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.

Preview

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