How To Install ppl-swiprolog on Fedora 36

In this tutorial we learn how to install ppl-swiprolog in Fedora 36. ppl-swiprolog is The SWI-Prolog interface of the Parma Polyhedra Library

Introduction

In this tutorial we learn how to install ppl-swiprolog on Fedora 36.

What is `ppl-swiprolog`

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.

We can use yum or dnf to install ppl-swiprolog on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ppl-swiprolog.

Install ppl-swiprolog on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install ppl-swiprolog using dnf by running the following command:

sudo dnf -y install ppl-swiprolog

Install ppl-swiprolog on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install ppl-swiprolog using yum by running the following command:

sudo yum -y install ppl-swiprolog

How To Uninstall ppl-swiprolog on Fedora 36

To uninstall only the ppl-swiprolog package we can use the following command:

sudo dnf remove ppl-swiprolog

ppl-swiprolog Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/2e4079b51af575c7da595ed53f66bcb6e494a5
/usr/lib64/ppl/libppl_swiprolog.so
/usr/share/doc/ppl-swiprolog
/usr/share/doc/ppl-swiprolog/README.swiprolog
/usr/share/ppl/ppl_swiprolog.pl

References

ppl-swiprolog website

Summary

In this tutorial we learn how to install ppl-swiprolog on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).