SWI-Prolog
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.
| Original author(s) | Jan Wielemaker |
|---|---|
| Developer(s) | Jan Wielemaker, Anjo Anjewierden, etc |
| Initial release | 1987 |
| Stable release | 9.0.4
/ 27 January 2023 |
| Preview release | 8.5.7
/ 4 February 2022 |
| Repository | |
| Written in | C, Prolog |
| Operating system | Cross-platform |
| Available in | English |
| Type | Logic programming |
| License | Simplified BSD, LGPL prior to version 7.3.33 |
| Website | swi-prolog |
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. The name of this group has changed to HCS (Human-Computer Studies).