Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-22 19:44:21 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
slackbuilds_ponce/development/swi-prolog/README

10 lines
424 B
Text
Raw Normal View History

development/swi-prolog: Added (a comprehensive Prolog environment) Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2012-04-15 17:33:41 +02:00
SWI-Prolog is a comprehensive Prolog environment. Its development
started in 1987 and has been driven by real-world applications.
development/swi-prolog: Updated for version 6.2.4. Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2012-12-13 19:23:49 +01:00
SWI-Prolog is widely used in research, education, and commercial
development/swi-prolog: Added (a comprehensive Prolog environment) Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2012-04-15 17:33:41 +02:00
applications.
development/swi-prolog: Updated for version 6.2.4. Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2012-12-13 19:23:49 +01:00
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
Reference in a new issue Copy permalink