معرفی شرکت ها

gprolog-1.4.4-alt2.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

GNU Prolog is a free Prolog compiler
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic x86_64
نام بسته gprolog
نام فایل بسته gprolog-1.4.4-alt2.x86_64.rpm
نسخه بسته 1.4.4
انتشار بسته alt2
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Mon 03 Mar 2014 02
هاست سازنده oddity-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.gprolog.org
مجوز GPLv2
حجم دانلود 1.3M
حجم نصب 7.568M
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.


جایگزین ها

بسته نسخه معماری مخزن
gprolog-1.4.4-alt2.i586.rpm 1.4.4 i586 ALT classic
gprolog-docs-1.4.4-alt2.i586.rpm 1.4.4 i586 ALT classic
gprolog-docs-1.4.4-alt2.x86_64.rpm 1.4.4 x86_64 ALT classic


نیازمندی

مقدار نام
- /lib64/ld-linux-x86-64.so.2
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 1.4.4-alt2 gprolog-examples
= 1.4.4-alt2 gprolog


نحوه نصب


نصب پکیج rpm gprolog:

    sudo apt-get install gprolog-1.4.4-alt2.x86_64.rpm


فایل ها

مسیرها
/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.4
/usr/lib64/gprolog-1.4.4/README
/usr/lib64/gprolog-1.4.4/bin
/usr/lib64/gprolog-1.4.4/bin/fd2c
/usr/lib64/gprolog-1.4.4/bin/gplc
/usr/lib64/gprolog-1.4.4/bin/gprolog
/usr/lib64/gprolog-1.4.4/bin/hexgplc
/usr/lib64/gprolog-1.4.4/bin/ma2asm
/usr/lib64/gprolog-1.4.4/bin/pl2wam
/usr/lib64/gprolog-1.4.4/bin/wam2ma
/usr/lib64/gprolog-1.4.4/gprolog.ico
/usr/lib64/gprolog-1.4.4/include
/usr/lib64/gprolog-1.4.4/include/fd_to_c.h
/usr/lib64/gprolog-1.4.4/include/gprolog.h
/usr/lib64/gprolog-1.4.4/lib
/usr/lib64/gprolog-1.4.4/lib/all_fd_bips.o
/usr/lib64/gprolog-1.4.4/lib/all_pl_bips.o
/usr/lib64/gprolog-1.4.4/lib/debugger.o
/usr/lib64/gprolog-1.4.4/lib/libbips_fd.a
/usr/lib64/gprolog-1.4.4/lib/libbips_pl.a
/usr/lib64/gprolog-1.4.4/lib/libengine_fd.a
/usr/lib64/gprolog-1.4.4/lib/libengine_pl.a
/usr/lib64/gprolog-1.4.4/lib/liblinedit.a
/usr/lib64/gprolog-1.4.4/lib/top_level.o
/usr/share/doc/gprolog-1.4.4
/usr/share/doc/gprolog-1.4.4/COPYING
/usr/share/doc/gprolog-1.4.4/ChangeLog
/usr/share/doc/gprolog-1.4.4/NEWS
/usr/share/doc/gprolog-1.4.4/PROBLEMS
/usr/share/doc/gprolog-1.4.4/README
/usr/share/doc/gprolog-1.4.4/VERSION


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2014-03-03

add Obsoletes/Provides for gprolog-examples

2014-03-01

1.4.4
remove examples

2010-10-16

Build for Sisyphus

2009-05-24

Fix dependency issue

2009-03-05

Supporting noarch subpackages

2009-02-17

New upstream release

2008-06-16

Remove TRAILSZ and GLOBALSZ environment variables

2008-06-15

Fix FTBFS (#440495)

2008-04-09

Exclude x86_64 because a build failure (#440945)

2008-02-19

Autorebuild for GCC 4.3

2008-02-10

Rebuild for gcc-4.3

2008-01-23

Rebuild

2007-10-09

Add the alpha architecture to tue supported plattforms (#313571)

2007-08-08

Changing license tag

2007-06-13

Rebuild to solve a koji issue.

2007-05-24

Include the PPC arch to build
Remove _smp_mflags becouse is make trouble
Used unmodified optflags