gprolog-1.4.0-2-omv2014.0.x86_64.rpm


Advertisement

Description

gprolog - GNU Prolog is a free implementation of Prolog

Property Value
Distribution OpenMandriva Lx 2014.2
Repository OpenMandriva Main x86_64
Package name gprolog
Package version 1.4.0
Package release 2-omv2014.0
Package architecture x86_64
Package type rpm
Installed size 7.66 MB
Download size 1.48 MB
Official Mirror abf-downloads.openmandriva.org
GNU Prolog is a native Prolog compiler with constraint solving over finite
domains (FD) developed by Daniel Diaz. Latest information about GNU Prolog can
be found at http://www.gnu.org/software/prolog.
A lot of work has been devoted to the ISO compatibility. GNU Prolog is very
close to the ISO standard (http://www.logic-programming.org/prolog_std.html).

Alternatives

Package Version Architecture Repository
gprolog-1.4.0-2-omv2014.0.i586.rpm 1.4.0 i586 OpenMandriva Main
gprolog - - -

Requires

Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.11)(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.15)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -

Provides

Name Value
gprolog == 1.4.0-2:2014.0

Download

Type URL
Binary Package gprolog-1.4.0-2-omv2014.0.x86_64.rpm
Source Package gprolog-1.4.0-2.src.rpm

Install Howto

  1. Enable OpenMandriva Main repository on Install and Remove Software"
  2. Update packages list:
    # urpmi.update -a
  3. Install gprolog rpm package:
    # urpmi 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.4.0/COPYING
/usr/lib64/gprolog-1.4.0/ChangeLog
/usr/lib64/gprolog-1.4.0/NEWS
/usr/lib64/gprolog-1.4.0/README
/usr/lib64/gprolog-1.4.0/VERSION
/usr/lib64/gprolog-1.4.0/bin/fd2c
/usr/lib64/gprolog-1.4.0/bin/gplc
/usr/lib64/gprolog-1.4.0/bin/gprolog
/usr/lib64/gprolog-1.4.0/bin/hexgplc
/usr/lib64/gprolog-1.4.0/bin/ma2asm
/usr/lib64/gprolog-1.4.0/bin/pl2wam
/usr/lib64/gprolog-1.4.0/bin/wam2ma
/usr/lib64/gprolog-1.4.0/include/fd_to_c.h
/usr/lib64/gprolog-1.4.0/include/gprolog.h
/usr/lib64/gprolog-1.4.0/lib/all_fd_bips.o
/usr/lib64/gprolog-1.4.0/lib/all_pl_bips.o
/usr/lib64/gprolog-1.4.0/lib/debugger.o
/usr/lib64/gprolog-1.4.0/lib/libbips_fd.a
/usr/lib64/gprolog-1.4.0/lib/libbips_pl.a
/usr/lib64/gprolog-1.4.0/lib/libengine_fd.a
/usr/lib64/gprolog-1.4.0/lib/libengine_pl.a
/usr/lib64/gprolog-1.4.0/lib/liblinedit.a
/usr/lib64/gprolog-1.4.0/lib/top_level.o
/usr/share/applications/mandriva-gprolog.desktop
/usr/share/doc/gprolog/ChangeLog
/usr/share/doc/gprolog/NEWS
/usr/share/doc/gprolog/PROBLEMS
/usr/share/doc/gprolog/README
/usr/share/doc/gprolog/html_node/README
/usr/share/doc/gprolog/html_node/contents_motif.gif
/usr/share/doc/gprolog/html_node/gprolog-idx.html
/usr/share/doc/gprolog/html_node/gprolog.css
/usr/share/doc/gprolog/html_node/gprolog001.html
/usr/share/doc/gprolog/html_node/gprolog002.html
/usr/share/doc/gprolog/html_node/gprolog003.html
/usr/share/doc/gprolog/html_node/gprolog004.html
/usr/share/doc/gprolog/html_node/gprolog005.html
/usr/share/doc/gprolog/html_node/gprolog006.html
/usr/share/doc/gprolog/html_node/gprolog007.html
/usr/share/doc/gprolog/html_node/gprolog008.html
/usr/share/doc/gprolog/html_node/gprolog009.html
/usr/share/doc/gprolog/html_node/gprolog010.html
/usr/share/doc/gprolog/html_node/gprolog011.html
/usr/share/doc/gprolog/html_node/gprolog012.html
/usr/share/doc/gprolog/html_node/gprolog013.html
/usr/share/doc/gprolog/html_node/gprolog014.html
/usr/share/doc/gprolog/html_node/gprolog015.html
/usr/share/doc/gprolog/html_node/gprolog016.html
/usr/share/doc/gprolog/html_node/gprolog017.html
/usr/share/doc/gprolog/html_node/gprolog018.html
/usr/share/doc/gprolog/html_node/gprolog019.html
/usr/share/doc/gprolog/html_node/gprolog020.html
/usr/share/doc/gprolog/html_node/gprolog021.html
/usr/share/doc/gprolog/html_node/gprolog022.html
/usr/share/doc/gprolog/html_node/gprolog023.html
/usr/share/doc/gprolog/html_node/gprolog024.html
/usr/share/doc/gprolog/html_node/gprolog025.html
/usr/share/doc/gprolog/html_node/gprolog026.html
/usr/share/doc/gprolog/html_node/gprolog027.html
/usr/share/doc/gprolog/html_node/gprolog028.html
/usr/share/doc/gprolog/html_node/gprolog029.html
/usr/share/doc/gprolog/html_node/gprolog030.html
/usr/share/doc/gprolog/html_node/gprolog031.html
/usr/share/doc/gprolog/html_node/gprolog032.html
/usr/share/doc/gprolog/html_node/gprolog033.html
/usr/share/doc/gprolog/html_node/gprolog034.html
/usr/share/doc/gprolog/html_node/gprolog035.html
/usr/share/doc/gprolog/html_node/gprolog036.html
/usr/share/doc/gprolog/html_node/gprolog037.html
/usr/share/doc/gprolog/html_node/gprolog038.html
/usr/share/doc/gprolog/html_node/gprolog039.html
/usr/share/doc/gprolog/html_node/gprolog040.html
/usr/share/doc/gprolog/html_node/gprolog041.html
/usr/share/doc/gprolog/html_node/gprolog042.html
/usr/share/doc/gprolog/html_node/gprolog043.html
/usr/share/doc/gprolog/html_node/gprolog044.html
/usr/share/doc/gprolog/html_node/gprolog045.html
/usr/share/doc/gprolog/html_node/gprolog046.html
/usr/share/doc/gprolog/html_node/gprolog047.html
/usr/share/doc/gprolog/html_node/gprolog048.html
/usr/share/doc/gprolog/html_node/gprolog049.html
/usr/share/doc/gprolog/html_node/gprolog050.html
/usr/share/doc/gprolog/html_node/gprolog051.html
/usr/share/doc/gprolog/html_node/gprolog052.html
/usr/share/doc/gprolog/html_node/gprolog053.html
/usr/share/doc/gprolog/html_node/gprolog054.html
/usr/share/doc/gprolog/html_node/gprolog055.html
/usr/share/doc/gprolog/html_node/gprolog056.html
/usr/share/doc/gprolog/html_node/gprolog057.html
/usr/share/doc/gprolog/html_node/gprolog058.html
/usr/share/doc/gprolog/html_node/gprolog059.html
/usr/share/doc/gprolog/html_node/gprolog060.html
/usr/share/doc/gprolog/html_node/gprolog061.html
/usr/share/doc/gprolog/html_node/gprolog062.html
/usr/share/doc/gprolog/html_node/gprolog063.html
/usr/share/doc/gprolog/html_node/gprolog064.html
/usr/share/doc/gprolog/html_node/gprolog065.html
/usr/share/doc/gprolog/html_node/gprolog066.html
/usr/share/doc/gprolog/html_node/gprolog067.html
/usr/share/doc/gprolog/html_node/gprolog068.html
/usr/share/doc/gprolog/html_node/gprolog069.html
/usr/share/doc/gprolog/html_node/gprolog070.html
/usr/share/doc/gprolog/html_node/gprolog071.html
/usr/share/doc/gprolog/html_node/gprolog072.html
/usr/share/doc/gprolog/html_node/gprolog073.html
/usr/share/doc/gprolog/html_node/gprolog074.html
/usr/share/doc/gprolog/html_node/hh-gprolog.hhc
/usr/share/doc/gprolog/html_node/hh-gprolog.hhk
/usr/share/doc/gprolog/html_node/hh-gprolog.hhp
/usr/share/doc/gprolog/html_node/hh-mkind.tex
/usr/share/doc/gprolog/html_node/hh-mktoc.tex
/usr/share/doc/gprolog/html_node/hh_do_hhc_hhk
/usr/share/doc/gprolog/html_node/index.html
/usr/share/doc/gprolog/html_node/next_motif.gif
/usr/share/doc/gprolog/html_node/previous_motif.gif

Changelog

2014-02-08 - Tomasz Pawe? Gajc <tpgxyz@gmail.com> 1.4.0-2
+ Revision: 80da1b0
- MassBuild#328: Increase release tag

See Also

Package Description
gpsd-2.95-10-omv2014.0.x86_64.rpm GPS data translator and GUI
gpsd-clients-2.95-10-omv2014.0.x86_64.rpm Clients for gpsd with an X interface
gpsd-python-2.95-10-omv2014.0.x86_64.rpm Python bindings for gpsd
granatier-4.12.4-1-omv2014.0.x86_64.rpm KDE Bomberman game
grantlee-0.3.0-3-omv2014.0.x86_64.rpm Qt string template engine based on the Django template system
grantlee-devel-0.3.0-3-omv2014.0.x86_64.rpm Development files for grantlee
graphicsmagick-1.3.19-1-omv2014.0.x86_64.rpm An X application for displaying and manipulating images
graphicsmagick-doc-1.3.19-1-omv2014.0.x86_64.rpm graphicsmagick Documentation
graphviz-2.36.0-1-omv2014.0.x86_64.rpm Graph visualization tools
graphviz-doc-2.36.0-1-omv2014.0.x86_64.rpm graphviz documentation
grep-2.17-1-omv2014.0.x86_64.rpm The GNU versions of grep pattern matching utilities
grep-doc-2.17-1-omv2014.0.x86_64.rpm Grep documentation in info format
grilo-0.2.9-1-omv2014.0.x86_64.rpm Content discovery framework
grilo-plugins-0.2.8-2-omv2014.0.x86_64.rpm Plugins for the Grilo framework
grive-0.2.0-3-omv2014.0.x86_64.rpm An Open Source Linux Client for Google Drive
Advertisement
Advertisement