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.

Human-Centered Data Analytics

Wielemaker, J. (2019). SWI-Prolog.

Additional Files
view at homepage