Everything about SWI-Prolog

🧭 Start here: a 6-step reading path

1. Read the overview: SWI-PrologA 5-minute orientation
2. Skim a recent paper: SISTEM DIAGNOSIS PENYAKIT PERNAPASAN (ISPA) MENGGUNAKAN SWI-PROLOGInfluential work since 2022
3. Pick up a classic book: Swi Prolog Reference Manual 7. 1The most-reprinted book on the subject
4. Read the landmark paper: SWI-PrologCited 329 times
5. Go sideways: PrologA closely related topic
6. Go sideways: Comparison of Prolog implementationsA closely related topic

🏆 Landmark papers (most cited)

• SWI-Prolog

  JAN WIELEMAKER, TOM SCHRIJVERS, MARKUS TRISKA · 2011 · Theory and Practice of Logic Programming · 329 citations

• SWI-Prolog and the web

  JAN WIELEMAKER, ZHISHENG HUANG, LOURENS VAN DER MEIJ · 2008 · Theory and Practice of Logic Programming · 46 citations

• ClioPatria: A SWI-Prolog infrastructure for the Semantic Web

  Jan Wielemaker, Wouter Beek, Michiel Hildebrand · 2016 · Semantic Web · 19 citations

• Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts

  Falco Nogatz, Dietmar Seipel · 2017 · Electronic Proceedings in Theoretical Computer Science · 10 citations

• Boolean constraints in SWI-Prolog: A comprehensive system description

  Markus Triska · 2018 · Science of Computer Programming · 2 citations

• Making ProB Compatible with SWI-Prolog

  DAVID GELEßUS, MICHAEL LEUSCHEL · 2022 · Theory and Practice of Logic Programming · 1 citations

• A Knowledge Testing Production Model Based on a Cognitive Map for SWI-Prolog Applications

  Dmitry Ivanovich Popov, Olga Yurievna Lazareva · 2015 · International Journal of Emerging Technologies in Learning (iJET) · 1 citations

• Примеры разработки экспертных систем на SWI-PROLOG

  Р. Г. Козин · 2016 · Вестник НИЯУ МИФИ · 0 citations

🆕 Influential since 2022

• SISTEM DIAGNOSIS PENYAKIT PERNAPASAN (ISPA) MENGGUNAKAN SWI-PROLOG

  Ika Arthalia Wulandari, Mujito Mujito · 2023 · Jurnal Ilmiah Sistem Informasi (JISI) · 0 citations

• SwipTesting – Una herramienta de testing para la enseñanza de Prolog

  Nicolas M. Leidi, Andrea Cohen, Luciano Tamargo · 2026 · Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología · 0 citations

📚 Books worth reading

• 📕Swi Prolog Reference Manual 7. 1Jan Wielemaker, Leslie De Koninck · 2014
• 📕Swi Prolog Reference Manual 6. 2. 2Jan Wielemaker, Thom Fruehwirth · 2012
• 📕Possibilities of Visualizing the Solution Process of Constraint Logicbased Systems by the Example of Swi-Prolog's Clp(fd) LibraryFabian Stiehle · 2018

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
• Comparison of Prolog implementations The following comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the…
• SICStus Prolog SICStus Prolog is a proprietary, ISO-conforming implementation of the logic programming language Prolog. It is developed by the Swedish Institute of Computer…
• ECLiPSe ECLiPSe is a software system for the development and deployment of constraint logic programming applications, e.g., in the areas of optimization, planning…
• Logtalk Logtalk is an object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in…
• CLP(R) CLP(R) is a declarative programming language. It stands for constraint logic programming (real) where real refers to the real numbers. It can be considered…
• Ciao (programming language) Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its…
• BNR Prolog BNR Prolog, also known as CLP(BNR), is a declarative constraint logic programming language based on relational interval arithmetic developed at Bell-Northern…