Computer Science – Programming Languages
Scientific paper
2010-11-24
Computer Science
Programming Languages
30 pages, 6 figures, 1 table. To appear in Theory and Practice of Logic Programming (TPLP)
Scientific paper
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 \textit{knowledge-intensive} and \textit{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 \textit{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.
Lager Torbjörn
Schrijvers Tom
Triska Markus
Wielemaker Jan
No associations
LandOfFree
SWI-Prolog does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with SWI-Prolog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and SWI-Prolog will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-240696