mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-22 19:44:21 +01:00
…
|
||
---|---|---|
.. | ||
README | ||
slack-desc | ||
swi-prolog.info | ||
swi-prolog.SlackBuild |
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. 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 GMP=yes ./swi-prolog.SlackBuild