SWI-Prolog

Version: 5.6.22
Entered-date: 2005-12-22
Description: ISO/Edinburgh-style Prolog compiler. Compliant with Part 1 of the ISO standard for Prolog. Covers all traditional Edinburgh Prolog features and shared many features with Quintus and SICStus Prolog, including a compatible module system. Very fast compiler, garbage collection (also on atoms), multi-threading, unbounded arithmetic, constraint handling, fast and powerful C/C++ interface, autoloading, GNU-readline interface. Includes standard packages for process management, TCP/IP, XML/SGML, RDF, and the GUI toolkit XPCE.
ftp://gollem.science.uva.nlSWI-Prolog
ftp://gollem.science.uva.nlSWI-Prolog/pl-5.6.22.tar.gz (8300kB)
Keywords: Prolog Edinburgh Programming Language Symbolic Logic
Author: jan@swi-prolog.org (Jan Wielemaker)
Maintained-by: jan@swi-prolog.org
Platforms: Unix, MacOS X and Win32. 32 and 64-bit platforms. ANSI-C
Copying-policy: LGPL

Note: Not all entries contain correct, complete filenames or URLs. FTP sites often refuse connections due to excessive traffic. If you have difficulty with the provided links to individual files, try the first link, which is usually to a directory or web site for the program as a whole.

Up to Linux Software Map