SWI-Prolog is the world's most popular implementation of the Prolog programming language. Its development started at the University of Amsterdam and is now shared between the Vrije Universiteit (VU) and CWI's HCDA group, in part sponsored by Kyndi, a Californian startup in natural language understanding and explainable AI. SWI-Prolog has grown into a large open source project with support from many academic as well as commercial users.
SWI-Prolog is a versatile system that unites many ideas from the Logic Programming community. Particularly strong points are concurrency, scalability, networking, linked data (RDF) support and deductive database support.
SWI-Prolog runs on almost any device with a basic POSIX or MS-Windows compliant API and a C99 compliant C compiler. Releases are made available as binaries for Windows, MacOS and Linux. Many Linux distributions provide a SWI-Prolog package and there is an official Docker library.
SWI-Prolog is distributed under the BSD-2 license and may be downloaded from https://github.com/SWI-Prolog