How to Install and Uninstall swi-prolog-core Package on Kali Linux

Last updated: May 15,2024

1. Install "swi-prolog-core" package

In this section, we are going to explain the necessary steps to install swi-prolog-core on Kali Linux


    
        
            $
        

        
            
                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 Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                swi-prolog-core
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the swi-prolog-core package on Kali Linux

Package: swi-prolog-core
Source: swi-prolog
Version: 9.0.4+dfsg-3
Installed-Size: 5515
Maintainer: Lev Lamberov
Architecture: amd64
Replaces: swi-prolog-nox (<< 8.1.30+dfsg-1)
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.3.0+dfsg), libtcmalloc-minimal4 (>= 2.13), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Recommends: debhelper
Suggests: elpa-ediprolog, swi-prolog-core-packages (= 9.0.4+dfsg-3), swi-prolog-doc, swi-prolog-java (= 9.0.4+dfsg-3), swi-prolog-odbc (= 9.0.4+dfsg-3), swi-prolog-bdb (= 9.0.4+dfsg-3)
Breaks: libppl-swi (<< 1:1.2-8.1+b1), logol-bin (<< 1.7.9+dfsg-6), swi-prolog-nox (<< 8.1.30+dfsg-1)
Size: 1445184
SHA256: 121214af1d145b216b6b823e55070f897ebc209d7e33933741930e5b8f7b6571
SHA1: ae0635b26b85528f539283d819081b7e5d65cd49
MD5sum: 4d4a32461a7e55912ea85139bf28c072
Description: ISO/Edinburgh-style Prolog interpreter - core system
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
.
This package contains a working SWI-Prolog core system.
Description-md5:
Homepage: https://www.swi-prolog.org
Section: interpreters
Priority: optional
Filename: pool/main/s/swi-prolog/swi-prolog-core_9.0.4+dfsg-3_amd64.deb