Our software library provides a free download of SWI-Prolog 8.0.3. The file size of the latest setup package available for download is 11.3 MB. Our antivirus scan shows that this download is malware free. This free software is an intellectual property of SWI-Prolog. The program is included in Development Tools.
From the developer:
SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications.
You may want to check out more software, such as Aqua Data Studio, BlackBerry JDE or devkitProUpdater, which might be similar to SWI-Prolog.