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


Advertisement

Description

gprolog - GNU Prolog is a free implementation of Prolog

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

Provides

  • gprolog == 1.4.0-2:2014.0

    Download

    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

    • /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

    Advertisement
    Advertisement