Prolog programming environment
SWI-Prolog offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License. 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.
Features
- Kernel licensed under the LGPL. Prolog libraries are distributed under the GPL with an additional statement that allows for use in proprietary applications. Details can be found on the license page.
- fast compilation. E.g., loads 140,000 lines of code spread over 500 source-files in 2.3 seconds on an AMD 5400+ system.
- Robust and free of memory leaks. In use for several servers that run 24x7 (including this web-service).
- Small. The full development environment, including graphics, libraries and many interface packages requires approx.
- Scales well for large applications. No limits on program size, atom-length, term-arity or integer values. No performance degradation on predicates with many (indexed) facts.
- Unbounded integer and rational number arithmetic based on GMP library.
- Comprehensive set of built-in predicates, covering Part 1 of the ISO standard, the de-facto Edinburgh Prolog standard and important parts of Quintus and SICStus Prolog. Fair compatibility to Ciao, YAP and GNU-Prolog.
- And much more
Download Details
- Publisher: Jan Wielemaker & Linktohow
- Date Released / Updated: 2011-03-01 / 2011-04-13
- System Requirements: Windows 2000/XP/Vista/7
- License: Free / Open Source (SWI-Prolog: GPL/LGPL, Launcher: GPL)
- Source Code: Launcher, SWI-Prolog
- MD5 Hash (for the geeks): 7d3622cc9135114fa66d23b573e5df51
