SWI-Prolog

SWI-Prolog
Original author(s)Jan Wielemaker
Developer(s)Jan Wielemaker, Anjo Anjewierden, etc
Initial release1987; 37 years ago (1987)
Stable release
9.2.2[1] Edit this on Wikidata / 29 February 2024; 8 months ago (29 February 2024)
Preview release
9.3.2 / 29 February 2024; 8 months ago (2024-02-29)
Repository
Written inC, Prolog
Operating systemCross-platform
Available inEnglish
TypeLogic programming
LicenseSimplified BSD, LGPL prior to version 7.3.33
Websiteswi-prolog.org

SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

SWI-Prolog runs on Unix, Windows, Macintosh and Linux platforms.

SWI-Prolog has been under continuous development since 1987. Its main author is Jan Wielemaker.

The name SWI is derived from Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), the former name of the group at the University of Amsterdam, where Wielemaker was employed when he initiated the development of SWI-Prolog.[2]

  1. ^ "Release V9.2.2".
  2. ^ Tate, Bruce (2022). "Logic Programming Basics (Chapter 1)". Programmer Passport: Prolog. Pragmatic Bookshelf. ISBN 9781680509359.