How to Install and Uninstall swi-prolog-core Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 26,2024

1. Install "swi-prolog-core" package

Please follow the guidance below to install swi-prolog-core on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                swi-prolog-core
            
                    
    
    Copied

2. Uninstall "swi-prolog-core" package

This tutorial shows how to uninstall swi-prolog-core on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                swi-prolog-core
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the swi-prolog-core package on Ubuntu 23.10 (Mantic Minotaur)

Package: swi-prolog-core
Architecture: amd64
Version: 9.0.4+dfsg-2ubuntu1
Priority: optional
Section: universe/interpreters
Source: swi-prolog
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Lev Lamberov
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5440
Provides: libswipl9, swi-prolog-abi-2-68-a4633a75-9fa44fc5, swi-prolog-abi-binary-68, swi-prolog-abi-foreign-2, swi-prolog-abi-qlf-a4633a75, swi-prolog-abi-states-9fa44fc5
Depends: libc6 (>= 2.34), libgmp10 (>= 2:6.2.1+dfsg1), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Recommends: debhelper
Suggests: elpa-ediprolog, swi-prolog-core-packages (= 9.0.4+dfsg-2ubuntu1), swi-prolog-doc, swi-prolog-java (= 9.0.4+dfsg-2ubuntu1), swi-prolog-odbc (= 9.0.4+dfsg-2ubuntu1), swi-prolog-bdb (= 9.0.4+dfsg-2ubuntu1)
Breaks: libppl-swi (<< 1:1.2-8.1build2), logol-bin (<< 1.7.9+dfsg-6), swi-prolog-nox (<< 8.1.30+dfsg-1)
Replaces: swi-prolog-nox (<< 8.1.30+dfsg-1)
Filename: pool/universe/s/swi-prolog/swi-prolog-core_9.0.4+dfsg-2ubuntu1_amd64.deb
Size: 1472770
MD5sum: 82af323ac7dad2ef916ba0745b1cda11
SHA1: 1339ed663fbd9fa9e9830198ca5e6952e8c88041
SHA256: 9002128a7aafe217fa55fd6b45f155236aa852bde5c3f66d4c332721799e6e16
SHA512: 00be44baaadd275e7e0789caa5b00ede44fb35b49081310747f753946d491bcd98ac2f564b02316ae497cbeb4010ebd0fe1a596b81df640f7fc6352bde56f913
Homepage: https://www.swi-prolog.org
Description: ISO/Edinburgh-style Prolog interpreter - core system
Description-md5: ed44eaf49fd4e7fc65f2f52593ff7119