You are here

SWI-Prolog Portable

Prolog programming environment

Download from

Version 8.0.3-1 for Windows, English
9MB download / 40MB installed
Antivirus Scan | Details

SWI-Prolog Portable can run from a cloud folder, external drive, or local folder without installing into Windows. It's even better with the Platform for easy installs and automatic updates.

Make a Donation - Support's development and hosting


SWI-Prolog offers a comprehensive Free Software Prolog environment. Prolog is a general purpose logic programming language often used for artificial intelligence and computational linguistics.

  • 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

Open Source Initiative