Information about the package, gprolog, which is shipped with common Linux distributions. The gprolog package is designed for, GNU Prolog is a free Prolog compiler.
Package Name:
gprolog
Summary:
GNU Prolog is a free Prolog compiler
Description:
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz). 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.
Architecture:
x86_64
Version:
1.3.1
Release:
6.el6
Size:
971 k
Repository:
base
From Repository:
Licence:
GPLv2+
Control the gprolog package with the following handy commands outlined below.
yum install gprolog
This command will install gprolog on the server.
yum remove gprolog
This command will un-install gprolog on the server. When you run this command, you will be asked if you are sure that you want to remove gprolog, so you have to manually confirm that you want to do this.
yum -y remove gprolog
This command will un-install gprolog 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 gprolog when using the -y flag.
yum update gprolog
This command will update gprolog to the latest version. When you run this command, you will be asked if you are sure that you want to remove gprolog, so you have to manually confirm that you want to do this.
yum -y update gprolog
This command will update gprolog 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 gprolog when using the -y flag.
yum info gprolog
This command will show you core information about the gprolog package.
yum deplist gprolog
This command will show you the dependencies for gprolog. 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 gprolog
This command will check if there is an update waiting on gprolog. 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.