SWI-Prolog

A comprehensive Free Software Prolog environment

SWI-Prolog offers a comprehensive Prolog environment. Together with its graphics toolkit XPCE, its development started in 1987 and has been driven by the needs for real-world applications. These days SWI-Prolog is widely used in research and education as well as for commercial applications.

License: GNU LGPL.

Tags: logic, logic programming.

Interfaces: command line, X.

Supported language: Prolog.

Links

Homepage: http://www.swi-prolog.org/.

Documentation: http://www.swi-prolog.org/documentation.html.

Source repository: http://www.swi-prolog.org/git.html.

Bug database: http://www.swi-prolog.org/bugreport.html.

Mailing lists

Support: http://www.swi-prolog.org/mailinglist.html.