SWI-Prolog offers a comprehensive Free Software Prolog environment for programming software that does logical reasoning. Together with its graphics toolkit XPCE, its development started in 1987 and has been driven by the needs for real-world applications.
