How to Install and Uninstall swi-prolog Package on Linux Mint 21.3 (Virginia)

Last updated: December 23,2024

1. Install "swi-prolog" package

This tutorial shows how to install swi-prolog on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                swi-prolog
            
                    
    
    Copied

2. Uninstall "swi-prolog" package

Please follow the guidance below to uninstall swi-prolog on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                swi-prolog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the swi-prolog package on Linux Mint 21.3 (Virginia)

Package: swi-prolog
Architecture: amd64
Version: 8.4.2+dfsg-2ubuntu1
Priority: optional
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Lev Lamberov
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 54
Depends: swi-prolog-doc (>= 8.4.2+dfsg-2ubuntu1), swi-prolog-doc (<< 8.4.2+dfsg-2ubuntu1.1~), swi-prolog-nox (= 8.4.2+dfsg-2ubuntu1), swi-prolog-x (= 8.4.2+dfsg-2ubuntu1)
Filename: pool/universe/s/swi-prolog/swi-prolog_8.4.2+dfsg-2ubuntu1_amd64.deb
Size: 9122
MD5sum: dc7b283344bb6e67a81e71bdeb74f2b8
SHA1: 5f20d4c1f6c814d537724c7a317284e00b2c24d8
SHA256: 4825393c0d791fa4c605e9d7f94b97ba7ff913daee8ed1bca58aedabc62c5d99
SHA512: 28e89978f257c1737b36deedd8eb37f43387748de13179266549a2f0503157e6bde9b2794760617e7545d220dbeec0d8526884cbac5d38e59eb226dc7dca92d7
Homepage: https://www.swi-prolog.org
Description: ISO/Edinburgh-style Prolog interpreter
Description-md5: 968044007060e3198e5494b54b00e14b