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
swi-prolog is build without BerkeleyDB support at the moment
(too experimental and won't build) and without GMP support.
If you want GMP support with swiprolog run the script with
Maintained by: Florian Kanngiesser
(the SlackBuild does not include the source)