[ol8_developer_EPEL] gprolog-1.5.0-6.el8.x86_64

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.

Filelist (Show Changelog) (Show related packages)

• /

  • usr

    • bin

      • fd2c

      • gplc

      • gprolog

      • hexgplc

      • ma2asm

      • pl2wam

      • wam2ma

    • lib

      • .build-id

        • 25

          • de1f99daa9a8559d33feca177aa17052d752c1

        • 9a

          • 7da6a128a88b3da0736203430398979185d49b

        • a3

          • 64dc6e6a82655bf97b67bcd7f5d742ee112f07

        • c6

          • 0d91655c8cfa93caf234ca5028defb11f1ad99

        • c7

          • 43ad3c3fe853880d033d177fb9eb1781d52fc9

        • d4

          • 086bf7c44589f3c57561192fac60fd182d4df6

        • e5

          • 453df3161d911ca3cba63c93bd399d344f7a08

    • lib64

      • gprolog-1.5.0

        • bin

          • fd2c

          • gplc

          • gprolog

          • hexgplc

          • ma2asm

          • pl2wam

          • wam2ma

        • gprolog.ico

        • include

          • fd_to_c.h

          • gprolog.h

        • lib

          • all_fd_bips.o

          • all_pl_bips.o

          • debugger.o

          • libbips_fd.a

          • libbips_pl.a

          • libengine_fd.a

          • libengine_pl.a

          • liblinedit.a

          • top_level.o

          • top_level_main.o

    • share

      • doc

        • gprolog

          • COPYING

          • ChangeLog

          • NEWS

          • PROBLEMS

          • README

          • VERSION