This used to be Jan Wielemaker's publication list about SWI-Prolog. The time has come to add publications by others that target SWI-Prolog. Publications on this page should either explain some part of SWI-Prolog or explain how the system can be/has been used effectively.

If you use SWI-Prolog and write academic publications, please consider citing one of these papers. The -ed TPLP paper SWI-Prolog is the preferred `general purpose reference' BibTeX.

• Boolean constraints in SWI-Prolog: A comprehensive system description Markus Triska, Science of Computer Programming, Volume 164, 2018 BibTeX
• Lock-free atom garbage collection for multithreaded Prolog Jan Wielemaker and Keri Harris BibTeX
• The Boolean Constraint Solver of SWI-Prolog Markus Triska, FLOPS-2016 BibTeX
• SWISH: SWI-Prolog for Sharing Jan Wielemaker, Torbjörn Lager and Fabrizio Riguzzi, IULP-2015, BibTeX
• Pengines: Web Logic Programming Made Easy Torbjörn Lager and Jan Wielemaker, ICLP-2014 BibTeX
• SWI-Prolog version 7 extensions Jan Wielemaker, CICLOPS/WLPE-2014 BibTeX
• Correctness Considerations in CLP(FD) Systems Markus Triska. PhD thesis explaining CLP(FD) as bundled with SWI-Prolog. BibTeX
• Why It's Nice to be Quoted: Quasiquoting for Prolog Jan Wielemaker and Michael Hendricks, accepted for WLPE-2013 BibTeX
• Extending the logical update view with transaction support Jan Wielemaker CICLOPS-12 BibTeX
• Syntactic integration of external languages in Prolog Jan Wielemaker and Nicos Angelopoulos WLPE-12. BibTeX
• Delimited Continuations for Prolog Tom Schrijvers, Bart Demoen, Benoit Desouter and Jan Wielemaker. BibTeX
• Porting and refactoring Prolog programs: the PROSYN case study Edison Mera and Jan Wielemaker, ICLP-2023. BibTeX
• The Finite Domain Constraint Solver of SWI-Prolog Markus Triska, FLOPS-2012 BibTeX
• Portability of Prolog programs: theory and case-studies Jan Wielemaker and Vitor Santos Costa. PADL-11. Updated version of CICLOPS-10 paper with the same title. BibTeX
• SWI-Prolog Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager. TPLP. BibTeX
• Coding Guidelines for Prolog Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price. Submitted to TPLP. BibTeX
• Portability of Prolog programs: theory and case-studies Jan Wielemaker and Vitor Santos Costa. CICLOPS-10 BibTeX
• Precise Garbage Collection in Prolog Jan Wielemaker and Ulrich Neumerkel CICLOPS-08. BibTeX
• Thesaurus-Based Search in Large Heterogeneous Collections, ISWC-08, BibTeX
• Using Prolog as the fundament for applications on the semantic web, ALPSWS-07, BibTeX
• PlDoc: Wiki style Literate Programming for Prolog, WLPE-07, BibTeX
• SWI-Prolog and the Web, TPLP BibTeX
• Using triples for implementation: the Triple20 ontology-manipulation tool, ISWC-05 BibTeX
• An optimised Semantic Web query language implementation in Prolog, ICLP-05 BibTeX
• Constraint Handling Rules for SWI-Prolog, Tom Schrijvers, Jan Wielemaker and Bart Demoen, Workshop on (Constraint) Logic Programming, Ulm, February, 2005
• Native Preemptive Threads in SWI-Prolog, ICLP-03, BibTeX
• An Overview of the SWI-Prolog Programming Environment, WLPE-03 BibTeX
• Prolog-based Infrastructure for RDF: Scalability and Performance, ISWC-03 BibTeX
• An Architecture for Making Object-Oriented Systems Available from Prolog, WLPE-02 BibTeX

Jan Wielemaker's PhD thesis, titled Logic programming for knowledge-intensive interactive applications (4.4MB) contains revised versions of most of the above papers supplemented with a broader overview of applying Prolog for the development of large-scale applications. BibTeX

Invited Talks

• Enabling serendipitous search on the Web of Data using Prolog Invited tutorial, ICPL-09, Pasadena. Discusses using Prolog for RDF handling and using Prolog as a webserver. OpenOffice PowerPoint
• 25 years of SWI-Prolog Special event, ICPL-12, Budapest. Provides a historical overview of SWI-Prolog, the state of Prolog in general and models for sharing interfaces, design and code within the Prolog community. OpenOffice PowerPoint
• LTC 2017, Poznań, Poland Invited talk and tutorials in memorial of Alain Colmerauer
  • A second life for Prolog (invited talk)
  • Tutorials
    • Declarative programming
    • Algorithm = Logic + Control
    • Prolog as unifying framework

SWI-Prolog's origin

SWI-Prolog 0.0.0 was based on A Portable Prolog Compiler by D.L. Bowen, L.H. Byrd and W.F. Clocksin.

Papers using SWI-Prolog

• Tartarus: A Multi-agent Platform for Integrating Cyber-Physical Systems and Robots, Tushar Semwal, Manoj Bode, Vivek Singh, Shashi Shekhar Jha, and Shivashankar B. Nair. AIR-2015. Video, Github
• TARTARUS: A Multi-Agent Platform for Bridging the Gap between Cyber and Physical Systems (Demonstration), Tushar Semwal, Nikhil S., Shashi Shekhar Jha, and Shivashankar B. Nair. AAMAS-2016.
• AgPi: Agents on Raspberry Pi, Tushar Semwal, and Shivashankar B. Nair. MDPI Electronics 2016.
• On Ordering Multi-Robot Task Executions within a Cyber Physical System, Tushar Semwal, Shashi Shekhar Jha, Shivashankar B. Nair. ACM TAAS 2017.