SWI-Prolog is a comprehensive open source (BSD-2 license) implementation of the Prolog programming language. SWI-Prolog is written in C99 and Prolog and runs on Linux, MacOS, Windows, Android and much more. The system is widely used in education and research as well as commercial applications.

Additional Metadata
Rights Simplified BSD license
Note If you use SWI-Prolog and write academic publications, please consider citing one of the papers listed here: https://www.swi-prolog.org/Publications.html
Citation
Wielemaker, J. (2019). SWI-Prolog.

Additional Files
view at homepage