Skip to main content
    • Aa
    • Aa



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.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

K. Appleby , M. Carlsson , S. Haridi and D. Sahlin 1988. Garbage collection for Prolog based on WAM. Communications of the ACM 31 (6), 719741.

C. Holzbaur and T. Frühwirth 2000. A Prolog constraint handling ules compiler and runtime system. Journal of Applied Artificial Intelligence, 14 (4), 369388.

E. Oren , R. Delbru , S. Gerke , A. Haller and S. Decker 2007. Activerdf: Object-oriented semantic web programming. In WWW '07: Proc. 16th International Conference on World Wide Web. ACM, New York, NY, USA, 817824.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 35 *
Loading metrics...

Abstract views

Total abstract views: 420 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 29th March 2017. This data will be updated every 24 hours.