vix.ing · top · new · best · stats · spec

SWI-Prolog

2010/11/24 by Jan Wielemaker, Tom Schrijvers, Wielemaker, Jan +5
Biochemistry, Genetics and Molecular Biology · #Chromatin Remodeling and Cancer #FOS: Computer and information sciences #Programming Languages (cs.PL)

paper · doi:10.48550/arxiv.1011.5332

openalex publication_date 2010/11/24 · openalex created_date 2024/04/11 · openalex updated_date 2026/07/28

Abstract

SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). 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 foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.

Related