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.
After updating yum database, We can install gprolog
using yum
by running the following command:
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.
After updating yum database, We can install gprolog
using dnf
by running the following command:
How To Uninstall gprolog on CentOS 7
To uninstall only the gprolog
package we can use the following command:
References
Summary
In this tutorial we learn how to install gprolog
on CentOS 7 using yum
and dnf
.