SWI-Prolog is a comprehensive Prolog environment. Its development
started in 1987 and has been driven by real-world applications.
SWI-Prolog is widely used in research, education, and commercial
applications.

Optional dependencies:
  * qt5 (for swipl-win GUI)
  * jdk or openjdk (for JPL Prolog/Java interface)
  * uuid, libedit (for Prolog bindings to these libraries -
    libedit is NOT needed to get history editing in swipl)