gprolog-1.3.1-3-rosa2012.1.i586.rpm


Advertisement

Description

gprolog - GNU Prolog is a free implementation of Prolog

Property Value
Distribution ROSA 2012.1
Repository ROSA Main i586
Package name gprolog
Package version 1.3.1
Package release 3-rosa2012.1
Package architecture i586
Package type rpm
Installed size 6.01 MB
Download size 1.44 MB
Official Mirror mirror.rosalab.ru
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.3.1-3-rosa2012.1.x86_64.rpm 1.3.1 x86_64 ROSA Main
gprolog - - -

Requires

Name Value
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.11) -
libc.so.6(GLIBC_2.15) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libc.so.6(GLIBC_2.7) -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -

Provides

Name Value
elf(buildid) == f064653cae1fa2420658d00b8501de5d920bafe8
elf(buildid) == fc34546056000b0f5e9bd935c33e5576df39209f
elf(buildid) == 32768be28f6332ab596ce3ec77695081e5e73d96
elf(buildid) == 5eb549656de3547edb704760cb7c758ccd83cc37
elf(buildid) == 9b1d787a0225659bd259a11f01dafd968f86b0a4
elf(buildid) == c87e546ab0f6f3aa7b5c4948125a0e95c13356f4
elf(buildid) == d901d071c22aded1ea752d8a0569ba3a0a8f3b90
gprolog == 1.3.1-3:2012.1

Download

Type URL
Binary Package gprolog-1.3.1-3-rosa2012.1.i586.rpm
Source Package gprolog-1.3.1-3.src.rpm

Install Howto

  1. Enable ROSA 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/lib/gprolog-1.3.1/COPYING
/usr/lib/gprolog-1.3.1/ChangeLog
/usr/lib/gprolog-1.3.1/NEWS
/usr/lib/gprolog-1.3.1/VERSION
/usr/lib/gprolog-1.3.1/bin/fd2c
/usr/lib/gprolog-1.3.1/bin/gplc
/usr/lib/gprolog-1.3.1/bin/gprolog
/usr/lib/gprolog-1.3.1/bin/hexgplc
/usr/lib/gprolog-1.3.1/bin/ma2asm
/usr/lib/gprolog-1.3.1/bin/pl2wam
/usr/lib/gprolog-1.3.1/bin/wam2ma
/usr/lib/gprolog-1.3.1/include/fd_to_c.h
/usr/lib/gprolog-1.3.1/include/gprolog.h
/usr/lib/gprolog-1.3.1/lib/all_fd_bips.o
/usr/lib/gprolog-1.3.1/lib/all_pl_bips.o
/usr/lib/gprolog-1.3.1/lib/debugger.o
/usr/lib/gprolog-1.3.1/lib/libbips_fd.a
/usr/lib/gprolog-1.3.1/lib/libbips_pl.a
/usr/lib/gprolog-1.3.1/lib/libengine_fd.a
/usr/lib/gprolog-1.3.1/lib/libengine_pl.a
/usr/lib/gprolog-1.3.1/lib/liblinedit.a
/usr/lib/gprolog-1.3.1/lib/top_level.o
/usr/share/applications/mandriva-gprolog.desktop
/usr/share/doc/gprolog/
/usr/share/doc/gprolog/ExamplesC/Makefile
/usr/share/doc/gprolog/ExamplesC/README
/usr/share/doc/gprolog/ExamplesC/examp.pl
/usr/share/doc/gprolog/ExamplesC/examp_c.c
/usr/share/doc/gprolog/ExamplesC/new_main.pl
/usr/share/doc/gprolog/ExamplesC/new_main_c.c
/usr/share/doc/gprolog/ExamplesFD/Makefile
/usr/share/doc/gprolog/ExamplesFD/alpha.pl
/usr/share/doc/gprolog/ExamplesFD/array.pl
/usr/share/doc/gprolog/ExamplesFD/bdiag.pl
/usr/share/doc/gprolog/ExamplesFD/bdonald.pl
/usr/share/doc/gprolog/ExamplesFD/bpigeon.pl
/usr/share/doc/gprolog/ExamplesFD/bqueens.pl
/usr/share/doc/gprolog/ExamplesFD/bramsey.pl
/usr/share/doc/gprolog/ExamplesFD/bridge.pl
/usr/share/doc/gprolog/ExamplesFD/bridge1.pl
/usr/share/doc/gprolog/ExamplesFD/bschur.pl
/usr/share/doc/gprolog/ExamplesFD/bsend.pl
/usr/share/doc/gprolog/ExamplesFD/cars.pl
/usr/share/doc/gprolog/ExamplesFD/crypta.pl
/usr/share/doc/gprolog/ExamplesFD/digit8.pl
/usr/share/doc/gprolog/ExamplesFD/donald.pl
/usr/share/doc/gprolog/ExamplesFD/eq10.pl
/usr/share/doc/gprolog/ExamplesFD/eq20.pl
/usr/share/doc/gprolog/ExamplesFD/five.pl
/usr/share/doc/gprolog/ExamplesFD/gardner.pl
/usr/share/doc/gprolog/ExamplesFD/langford.pl
/usr/share/doc/gprolog/ExamplesFD/magic.pl
/usr/share/doc/gprolog/ExamplesFD/magsq.pl
/usr/share/doc/gprolog/ExamplesFD/multipl.pl
/usr/share/doc/gprolog/ExamplesFD/partit.pl
/usr/share/doc/gprolog/ExamplesFD/qg5.pl
/usr/share/doc/gprolog/ExamplesFD/queens.pl
/usr/share/doc/gprolog/ExamplesFD/queens_fd.fd
/usr/share/doc/gprolog/ExamplesFD/send.pl
/usr/share/doc/gprolog/ExamplesFD/square.pl
/usr/share/doc/gprolog/ExamplesFD/srq.pl
/usr/share/doc/gprolog/ExamplesPl/Makefile
/usr/share/doc/gprolog/ExamplesPl/PROGS
/usr/share/doc/gprolog/ExamplesPl/README
/usr/share/doc/gprolog/ExamplesPl/boyer.pl
/usr/share/doc/gprolog/ExamplesPl/browse.pl
/usr/share/doc/gprolog/ExamplesPl/cal.pl
/usr/share/doc/gprolog/ExamplesPl/chat_parser.pl
/usr/share/doc/gprolog/ExamplesPl/common.pl
/usr/share/doc/gprolog/ExamplesPl/crypt.pl
/usr/share/doc/gprolog/ExamplesPl/ham.pl
/usr/share/doc/gprolog/ExamplesPl/hook.pl
/usr/share/doc/gprolog/ExamplesPl/meta_qsort.pl
/usr/share/doc/gprolog/ExamplesPl/nand.pl
/usr/share/doc/gprolog/ExamplesPl/nrev.pl
/usr/share/doc/gprolog/ExamplesPl/poly_10.pl
/usr/share/doc/gprolog/ExamplesPl/qsort.pl
/usr/share/doc/gprolog/ExamplesPl/queens.pl
/usr/share/doc/gprolog/ExamplesPl/queensn.pl
/usr/share/doc/gprolog/ExamplesPl/query.pl
/usr/share/doc/gprolog/ExamplesPl/reducer.pl
/usr/share/doc/gprolog/ExamplesPl/sdda.pl
/usr/share/doc/gprolog/ExamplesPl/sendmore.pl
/usr/share/doc/gprolog/ExamplesPl/tak.pl
/usr/share/doc/gprolog/ExamplesPl/tak_gvar.pl
/usr/share/doc/gprolog/ExamplesPl/zebra.pl
/usr/share/doc/gprolog/ExamplesPl/BINPROLOG/HOOK.pl
/usr/share/doc/gprolog/ExamplesPl/BINPROLOG/MAKE_CLEAN
/usr/share/doc/gprolog/ExamplesPl/BINPROLOG/MAKE_PROGS
/usr/share/doc/gprolog/ExamplesPl/CIAO/HOOK.pl
/usr/share/doc/gprolog/ExamplesPl/CIAO/MAKE_CLEAN
/usr/share/doc/gprolog/ExamplesPl/CIAO/MAKE_PROGS
/usr/share/doc/gprolog/ExamplesPl/SICSTUS/HOOK.pl
/usr/share/doc/gprolog/ExamplesPl/SICSTUS/MAKE_CLEAN
/usr/share/doc/gprolog/ExamplesPl/SICSTUS/MAKE_PROGS
/usr/share/doc/gprolog/ExamplesPl/SWI/HOOK.pl
/usr/share/doc/gprolog/ExamplesPl/SWI/MAKE_CLEAN
/usr/share/doc/gprolog/ExamplesPl/SWI/MAKE_PROGS
/usr/share/doc/gprolog/ExamplesPl/WAMCC/HOOK.pl
/usr/share/doc/gprolog/ExamplesPl/WAMCC/MAKE_CLEAN
/usr/share/doc/gprolog/ExamplesPl/WAMCC/MAKE_PROGS
/usr/share/doc/gprolog/ExamplesPl/XSB/HOOK.pl
/usr/share/doc/gprolog/ExamplesPl/XSB/MAKE_CLEAN
/usr/share/doc/gprolog/ExamplesPl/XSB/MAKE_PROGS
/usr/share/doc/gprolog/ExamplesPl/YAP/HOOK.pl
/usr/share/doc/gprolog/ExamplesPl/YAP/MAKE_CLEAN
/usr/share/doc/gprolog/ExamplesPl/YAP/MAKE_PROGS
/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/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

2012-03-26 - Andrew Lukoshko <andrew.lukoshko@rosalab.ru> 1.3.1-3rosa.lts2012.0
- fixed test suite
2010-12-02 - Oden Eriksson <oeriksson@mandriva.com> 1.3.1-2mdv2011.0
+ Revision: 605497
- rebuild
+ Sandro Cazzaniga <kharec@mandriva.org>
- patch send upstream, not release.
2010-03-05 - Sandro Cazzaniga <kharec@mandriva.org> 1.3.1-1mdv2010.1
+ Revision: 514797
- fix Source to use tar.gz
- drop old patches (applied upstream)
- add a patch for fix str fmt in 1.3.1
- update to 1.3.1
- fix license

See Also

Package Description
gpsd-2.95-4-rosa2012.1.i586.rpm GPS data translator and GUI
gpsd-clients-2.95-4-rosa2012.1.i586.rpm Clients for gpsd with an X interface
gpsd-python-2.95-4-rosa2012.1.i586.rpm Python bindings for gpsd
granatier-4.9.4-2-rosa2012.1.i586.rpm KDE Bomberman game
grantlee-0.1.8-4-rosa2012.1.i586.rpm Qt string template engine based on the Django template system
grantlee-devel-0.1.8-4-rosa2012.1.i586.rpm Development files for grantlee
graphicsmagick-1.3.17-1-rosa2012.1.i586.rpm An X application for displaying and manipulating images
graphicsmagick-doc-1.3.17-1-rosa2012.1.i586.rpm graphicsmagick Documentation
graphviz-2.28.0-6-rosa2012.1.i586.rpm Graph visualization tools
graphviz-doc-2.28.0-6-rosa2012.1.i586.rpm graphviz documentation
grep-2.14-2-rosa2012.1.i586.rpm The GNU versions of grep pattern matching utilities
grep-doc-2.14-2-rosa2012.1.i586.rpm Grep documentation in info format
grilo-0.2.3-1-rosa2012.1.i586.rpm Content discovery framework
grilo-plugins-0.2.3-1-rosa2012.1.i586.rpm Plugins for the Grilo framework
grive-0.2.0-1-rosa2012.1.i586.rpm An Open Source Linux Client for Google Drive
Advertisement
Advertisement