How to Install and Uninstall swi-prolog Package on Debian 10 (Buster)
Last updated: November 25,2024
1. Install "swi-prolog" package
Please follow the instructions below to install swi-prolog on Debian 10 (Buster)
$
sudo apt update
Copied
$
sudo apt install
swi-prolog
Copied
2. Uninstall "swi-prolog" package
This is a short guide on how to uninstall swi-prolog on Debian 10 (Buster):
$
sudo apt remove
swi-prolog
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the swi-prolog package on Debian 10 (Buster)
Package: swi-prolog
Version: 8.0.2+dfsg-3+deb10u1
Installed-Size: 45
Maintainer: Lev Lamberov
Architecture: amd64
Depends: swi-prolog-nox (= 8.0.2+dfsg-3+deb10u1), swi-prolog-x (= 8.0.2+dfsg-3+deb10u1)
Description: ISO/Edinburgh-style Prolog interpreter
Description-md5: 201d10d6cd1e040554d9b22c5c777abc
Homepage: http://www.swi-prolog.org
Tag: devel::interpreter, devel::lang:prolog, implemented-in::TODO,
implemented-in::c, interface::commandline, interface::text-mode,
role::program, scope::utility, uitoolkit::ncurses,
works-with::software:source
Section: interpreters
Priority: optional
Filename: pool/main/s/swi-prolog/swi-prolog_8.0.2+dfsg-3+deb10u1_amd64.deb
Size: 24348
MD5sum: 42a87e778926f8865465dec533fb03b9
SHA256: 098b6aca01fdb84a46f52bdce590f8bde7042f41075c9e710d85342a73860032
Version: 8.0.2+dfsg-3+deb10u1
Installed-Size: 45
Maintainer: Lev Lamberov
Architecture: amd64
Depends: swi-prolog-nox (= 8.0.2+dfsg-3+deb10u1), swi-prolog-x (= 8.0.2+dfsg-3+deb10u1)
Description: ISO/Edinburgh-style Prolog interpreter
Description-md5: 201d10d6cd1e040554d9b22c5c777abc
Homepage: http://www.swi-prolog.org
Tag: devel::interpreter, devel::lang:prolog, implemented-in::TODO,
implemented-in::c, interface::commandline, interface::text-mode,
role::program, scope::utility, uitoolkit::ncurses,
works-with::software:source
Section: interpreters
Priority: optional
Filename: pool/main/s/swi-prolog/swi-prolog_8.0.2+dfsg-3+deb10u1_amd64.deb
Size: 24348
MD5sum: 42a87e778926f8865465dec533fb03b9
SHA256: 098b6aca01fdb84a46f52bdce590f8bde7042f41075c9e710d85342a73860032