Practical Aspects of Declarative Languages

Volume 6539 of the series Lecture Notes in Computer Science pp 69-83

On the Portability of Prolog Applications

  • Jan WielemakerAffiliated withVU University Amsterdam
  • , Vítor Santos CostaAffiliated withDCC-FCUP & CRACS-INESC, Universidade do Porto

* Final gross prices may vary according to local VAT.

Get Access


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.