10 lines
424 B
Plaintext
10 lines
424 B
Plaintext
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
|