Portability of Prolog Programs: Theory and Case-Studies. Wielemaker, J. & Santos Costa, V.
Portability of Prolog Programs: Theory and Case-Studies [link]Paper  abstract   bibtex   
(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.
@article{wielemakerPortabilityPrologPrograms2010,
  title = {Portability of {{Prolog}} Programs: Theory and Case-Studies},
  author = {Wielemaker, Jan and Santos Costa, V́ıtor},
  date = {2010-09},
  url = {https://scholar.google.com/scholar?cluster=3371987795476076742},
  abstract = {(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.},
  archivePrefix = {arXiv},
  eprint = {1009.3796},
  eprinttype = {arxiv},
  keywords = {*imported-from-citeulike-INRMM,~INRMM-MiD:c-11800324,interoperability,portability,programming,prolog,software-engineering}
}

Downloads: 0