gprolog-1.3.1-6.el6.x86_64.rpm


Advertisement

Description

gprolog - GNU Prolog is a free Prolog compiler

Property Value
Distribution CentOS 6
Repository CentOS x86_64
Package filename gprolog-1.3.1-6.el6.x86_64.rpm
Package name gprolog
Package version 1.3.1
Package release 6.el6
Package architecture x86_64
Package type rpm
Category Development/Languages
Homepage http://www.gprolog.org
License GPLv2+
Maintainer -
Download size 971.02 KB
Installed size 4.27 MB
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.

Alternatives

Package Version Architecture Repository
gprolog-1.3.1-6.el6.i686.rpm 1.3.1 i686 CentOS
gprolog - - -

Requires

Name Value
libc.so.6(GLIBC_2.7)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
gprolog = 1.3.1-6.el6
gprolog(x86-64) = 1.3.1-6.el6

Download

Type URL
Mirror mirror.centos.org
Binary Package gprolog-1.3.1-6.el6.x86_64.rpm
Source Package gprolog-1.3.1-6.el6.src.rpm

Install Howto

Install gprolog rpm package:

# yum install gprolog

Files

Path
/usr/bin/fd2c
/usr/bin/gplc
/usr/bin/gprolog
/usr/bin/hexgplc
/usr/bin/ma2asm
/usr/bin/pl2wam
/usr/bin/wam2ma
/usr/lib64/gprolog-1.3.1/
/usr/lib64/gprolog-1.3.1/bin/fd2c
/usr/lib64/gprolog-1.3.1/bin/gplc
/usr/lib64/gprolog-1.3.1/bin/gprolog
/usr/lib64/gprolog-1.3.1/bin/hexgplc
/usr/lib64/gprolog-1.3.1/bin/ma2asm
/usr/lib64/gprolog-1.3.1/bin/pl2wam
/usr/lib64/gprolog-1.3.1/bin/wam2ma
/usr/lib64/gprolog-1.3.1/include/fd_to_c.h
/usr/lib64/gprolog-1.3.1/include/gprolog.h
/usr/lib64/gprolog-1.3.1/lib/all_fd_bips.o
/usr/lib64/gprolog-1.3.1/lib/all_pl_bips.o
/usr/lib64/gprolog-1.3.1/lib/debugger.o
/usr/lib64/gprolog-1.3.1/lib/libbips_fd.a
/usr/lib64/gprolog-1.3.1/lib/libbips_pl.a
/usr/lib64/gprolog-1.3.1/lib/libengine_fd.a
/usr/lib64/gprolog-1.3.1/lib/libengine_pl.a
/usr/lib64/gprolog-1.3.1/lib/liblinedit.a
/usr/lib64/gprolog-1.3.1/lib/top_level.o
/usr/share/doc/gprolog-1.3.1/COPYING
/usr/share/doc/gprolog-1.3.1/ChangeLog
/usr/share/doc/gprolog-1.3.1/NEWS
/usr/share/doc/gprolog-1.3.1/PROBLEMS
/usr/share/doc/gprolog-1.3.1/README
/usr/share/doc/gprolog-1.3.1/VERSION

Changelog

2010-02-24 - Jaroslav Škarvada <jskarvad@redhat.com> - 1.3.1-6
- License tag changed from GPLv2 to GPLv2+
- Fixed rpmlint warnings
- Removed unused patches
2009-11-30 - Dennis Gregorovic <dgregor@redhat.com> - 1.3.1-5.1
- Rebuilt for RHEL 6
2009-07-24 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3.1-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
2009-05-24 - Jochen Schmitt <Jochen herr-schmitt de> 1.3.1-4
- Fix dependency issue
2009-03-05 - Jochen Schmitt <Jochen herr-schmitt de> 1.3.1-3
- Supporting noarch subpackages
2009-02-24 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
2009-02-17 - Jochen Schmitt <Jochen herr-schmitt de> 1.3.1-1
- New upstream release
2008-06-16 - Jochen Schmitt <Jochen herr-schmitt de> 1.3.0-17
- Remove TRAILSZ and GLOBALSZ environment variables
2008-06-15 - Jochen Schmitt <Jochen herr-schmitt de> 1.3.0-16
- Fix FTBFS (#440495)
2008-04-09 - Jochen Schmitt <Jochen herr-schmitt de> 1.3.0-15
- Exclude x86_64 because a build failure (#440945)

See Also

Package Description
gprolog-docs-1.3.1-6.el6.x86_64.rpm Documentation for GNU Prolog
gprolog-examples-1.3.1-6.el6.x86_64.rpm Examples for GNU Prolog
gpxe-bootimgs-0.9.7-6.16.el6.noarch.rpm Network boot loader images in bootable USB, CD, floppy and GRUB formats
gpxe-roms-0.9.7-6.16.el6.noarch.rpm Network boot loader roms in .rom format
gpxe-roms-qemu-0.9.7-6.16.el6.noarch.rpm Network boot loader roms supported by QEMU, .rom format
graphviz-2.26.0-10.el6.i686.rpm Graph Visualization Tools
graphviz-2.26.0-10.el6.x86_64.rpm Graph Visualization Tools
graphviz-devel-2.26.0-10.el6.i686.rpm Development package for graphviz
graphviz-devel-2.26.0-10.el6.x86_64.rpm Development package for graphviz
graphviz-doc-2.26.0-10.el6.x86_64.rpm PDF and HTML documents for graphviz
graphviz-gd-2.26.0-10.el6.i686.rpm Graphviz plugin for renderers based on gd
graphviz-gd-2.26.0-10.el6.x86_64.rpm Graphviz plugin for renderers based on gd
graphviz-graphs-2.26.0-10.el6.x86_64.rpm Demo graphs for graphviz
graphviz-guile-2.26.0-10.el6.x86_64.rpm Guile extension for graphviz
graphviz-java-2.26.0-10.el6.x86_64.rpm Java extension for graphviz
Advertisement
Advertisement