Autor(es):
Jan Wielemaker ; Vitor Santos Costa
Data: 2010
Identificador Persistente: https://hdl.handle.net/10216/53304
Origem: Repositório Aberto da Universidade do Porto
Assunto(s): Ciência de computadores, Ciências da computação e da informação; Computer science, Computer and information sciences; Ciência de computadores, Ciências da computação e da informação; Ciência de computadores, Ciências da computação e da informação; Computer science, Computer and information sciences; Computer science, Computer and information sciences
Descrição
(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.
