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:
  * jdk or openjdk (for JPL Prolog/Java interface)
  * uuid (for Prolog bindings to this library)