How To Install gprolog on CentOS 7
Introduction
In this tutorial we learn how to install gprolog on CentOS 7.
What is gprolog
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http GNU Prolog is a very efficient native compiler producing (small) stand-alone executables. GNU-Prolog also offers a classical top-level+debugger. GNU Prolog conforms to the ISO standard for Prolog but also includes a lot of extensions (global variables, DCG, sockets, OS interface,…). GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics.
We can use yum or dnf to install gprolog on CentOS 7. In this tutorial we discuss both methods but you only need to choose one of method to install gprolog.
Install gprolog on CentOS 7 Using yum
Update yum database with yum using the following command.
sudo yum makecache
After updating yum database, We can install gprolog using yum by running the following command:
sudo yum -y install gprolog
Install gprolog on CentOS 7 Using dnf
If you don’t have dnf installed you can install DNF on CentOS 7 first.
Update yum database with dnf using the following command.
sudo dnf makecache
After updating yum database, We can install gprolog using dnf by running the following command:
sudo dnf -y install gprolog
How To Uninstall gprolog on CentOS 7
To uninstall only the gprolog package we can use the following command:
sudo dnf remove gprolog
References
Summary
In this tutorial we learn how to install gprolog on CentOS 7 using yum and dnf.