You are here

SWI-Prolog Portable

Prolog programming environment

Download from

Version 9.2.4-1 for Windows, English
10MB download / 43MB installed
Antivirus Scan | Details

Runs anywhere (cloud, removable, local) without 'installing'. Use the Platform for easy installs and automatic updates.

Make a Donation - Support development & 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 is LGPL. Prolog libraries are GPL with an additional use in proprietary applications. Details in the license.
  • Fast compilation.
  • Robust and free of memory leaks.
  • Small.
  • 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 Approved License