On the portability of prolog applications

Authors:
Jan Wielemaker;Vítor Santos Costa
Affiliations:
VU University Amsterdam, The Netherlands;DCC-FCUP & CRACS-INESC Porto LA, Universidade do Porto, Portugal
Venue:
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Year:
2011

Citing 7
Cited 1

XSB as an efficient deductive database engine

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
GNU Autoconf, Automake and Libtool

GNU Autoconf, Automake and Libtool
Metastructures versus Attributed Variables in the Context of Extensible Unification

PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Concurrency, Graphs and Models
Generalising Constraint Solving over Finite Domains

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Flexible Search Framework for CHR

Constraint Handling Rules
Improving the ISO prolog standard by analyzing compliance test results

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Modular extensions for modular (logic) languages

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

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 SWIProlog 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.