On the Portability of Prolog Applications

Research output: Contribution to JournalArticleAcademicpeer-review

181 Downloads (Pure)

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 languageEnglish
Pages (from-to)69-83
JournalLecture Notes in Computer Science
Volume6539
DOIs
Publication statusPublished - 2011
EventPractical Aspects of Declarative Languages -
Duration: 26 Jan 201128 Jan 2011

Bibliographical note

Proceedings title: Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Publisher: Springer Berlin / Heidelberg
Editors: R. Rocha, J. Launchbury

Fingerprint

Dive into the research topics of 'On the Portability of Prolog Applications'. Together they form a unique fingerprint.

Cite this