How to Install and Uninstall swi-prolog Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: December 23,2024

1. Install "swi-prolog" package

Please follow the steps below to install swi-prolog on Ubuntu 16.04 LTS (Xenial Xerus)

$ sudo apt update $ sudo apt install swi-prolog

2. Uninstall "swi-prolog" package

This guide let you learn how to uninstall swi-prolog on Ubuntu 16.04 LTS (Xenial Xerus):

$ sudo apt remove swi-prolog $ sudo apt autoclean && sudo apt autoremove

3. Information about the swi-prolog package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: swi-prolog
Priority: optional
Section: universe/interpreters
Installed-Size: 22
Maintainer: Ubuntu Developers
Original-Maintainer: Lev Lamberov
Architecture: amd64
Version: 7.2.3-2
Depends: swi-prolog-nox (= 7.2.3-2), swi-prolog-x (= 7.2.3-2)
Suggests: prolog-el
Filename: pool/universe/s/swi-prolog/swi-prolog_7.2.3-2_amd64.deb
Size: 1916
MD5sum: 8cb290d9c688c6eb629619c68d34b534
SHA1: 249abeba7c85d2fb55172b7c1c67e93f8d89eebc
SHA256: 46bfb56248ee3ee06d724b06094c7916ffabe9e2cbd966f796f57bd544f85fdc
Description-en: ISO/Edinburgh-style Prolog interpreter
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.
.
SWI-Prolog additionally offers:
.
* A powerful module system
* Garbage collection
* Unicode character set handling
* Unbounted integer and rational number arithmetic
* Multithreading support
* A powerful C/C++ interface
* GNU Readline interface
Description-md5: 56672573a07036d0458ffed6045925f9
Homepage: http://www.swi-prolog.org
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu