SWI-Prolog is an open-source implementation of the Prolog programming language. SWI-Prolog features a rich set of characteristics, libraries (including its own GUI library, XPCE), tools (including an IDE) and extensive documentation. SWI-Prolog runs on Unix, Windows, and Mac platforms.

• Licenses:
  • Simplified BSD license
• Website
• Installation guides:
  • How to install Gimp 2.10.2 (video)
• Tutorials:
  • Official Documentation
  • Prolog Tutorial (video)
• Source code
• Additional links:
  • Prolog Tutorial from the University of Málaga (PDF)
• Available on MyApps URJC
• Last updated: 08/04/2019