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. © 2011 Springer-Verlag.
Original language | English |
---|---|
Pages (from-to) | 69-83 |
Journal | Lecture Notes in Computer Science |
Volume | 6539 |
DOIs | |
Publication status | Published - 2011 |
Event | Practical Aspects of Declarative Languages - Duration: 26 Jan 2011 → 28 Jan 2011 |
Bibliographical note
Proceedings title: Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. ProceedingsPublisher: Springer Berlin / Heidelberg
Editors: R. Rocha, J. Launchbury