is an open source
implementation of the programming language Prolog
, commonly used for teaching and semantic web
It has a rich set of features, libraries
constraint logic programming
interfacing to Java
a web server
developer tools (including an IDE
with a GUI debugger and GUI profiler), and extensive documentation.
SWI-Prolog runs on Unix, Windows, and Macintosh 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 is employed. The name of this group has changed to HCS (Human-Computer Studies).