swi-prolog

Install latest/stable of swi-prolog

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.


Install using the command line

sudo snap install swi-prolog

Don't have snapd? Get set up for snaps.

Channel Version Published

Comprehensive implementation of the Prolog programming language

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.

Details for swi-prolog

License
  • BSD-2-Clause

Last updated
  • 22 May 2024 - latest/stable
  • 10 July 2024 - latest/edge

Websites

Contact

Report a Snap Store violation

Share this snap

Generate an embeddable card to be shared on external websites.


Install swi-prolog on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.


Where people are using swi-prolog

Users by distribution (log)

Ubuntu 22.04
Ubuntu 20.04
Ubuntu 18.04
Ubuntu 24.04
Ubuntu 23.10
Manjaro
Ubuntu 16.04
Debian 12
Fedora 40
Linux Mint 21.3
pop 22.04
Ubuntu 23.04
Fedora 39
Debian 11
Linux Mint 20.3
Zorin OS 16
Fedora 38
Linux Mint 21
Linux Mint 21.1
Fedora 37
Ubuntu 22.10