Information about the package, ppl-swiprolog, which is shipped with common Linux distributions. The ppl-swiprolog package is designed for, The SWI-Prolog interface of the Parma Polyhedra Library.
Package Name:
ppl-swiprolog
Summary:
The SWI-Prolog interface of the Parma Polyhedra Library
Description:
This package adds SWI-Prolog support to the Parma Polyhedra Library. Install this package if you want to use the library in SWI-Prolog programs.
Architecture:
x86_64
Version:
0.10.2
Release:
11.el6
Size:
2.2 M
Repository:
base
From Repository:
Licence:
GPLv3+
Control the ppl-swiprolog package with the following handy commands outlined below.
yum install ppl-swiprolog
This command will install ppl-swiprolog on the server.
yum remove ppl-swiprolog
This command will un-install ppl-swiprolog on the server. When you run this command, you will be asked if you are sure that you want to remove ppl-swiprolog, so you have to manually confirm that you want to do this.
yum -y remove ppl-swiprolog
This command will un-install ppl-swiprolog on the server. When you run this command with th e -y flag, you will not be prompted to check that you are sure you want to remove the package - so be sure you absolutely want to remove ppl-swiprolog when using the -y flag.
yum update ppl-swiprolog
This command will update ppl-swiprolog to the latest version. When you run this command, you will be asked if you are sure that you want to remove ppl-swiprolog, so you have to manually confirm that you want to do this.
yum -y update ppl-swiprolog
This command will update ppl-swiprolog to the latest version. When you run this command with the -y flag, you will not be prompted to check that you are sure you want to remove the package - so be sure you absolutely want to remove ppl-swiprolog when using the -y flag.
yum info ppl-swiprolog
This command will show you core information about the ppl-swiprolog package.
yum deplist ppl-swiprolog
This command will show you the dependencies for ppl-swiprolog. Thankfully, when using Yum, if dependencies are required, these are also installed at the same time so you don't have to worry too much about that.
yum check-update ppl-swiprolog
This command will check if there is an update waiting on ppl-swiprolog. When you run this command this will return nothing if there is nothing to update, or, will return the package name if the package is due to be updated.