Search Prolog & others

Found 8 bookmarks

Newest

SWI-Prolog

In this article we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between <i>foreign</i> resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.

Наукові публікації #2010 #programming #Prolog #language #logic #SWI-Prolog #публікація

·up.raindrop.io·Dec 23, 2024

SWI-Prolog

Portability of Prolog programs: theory and case-studies

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

Наукові публікації #2010 #Prolog #SWI-Prolog #language #programming #logic #публікація #YAP

·up.raindrop.io·Dec 23, 2024

Portability of Prolog programs: theory and case-studies