معرفی شرکت ها
swi-prolog-nox-7.4.2-alt2_3.1.i586.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p9 |
| مخزن | ALTLinux classic i586 |
| نام بسته | swi-prolog-nox |
| نام فایل بسته | swi-prolog-nox-7.4.2-alt2_3.1.i586.rpm |
| نسخه بسته | 7.4.2 |
| انتشار بسته | alt2_3.1 |
| معماری بسته | i586 |
| نگهدارنده | - |
| تاریخ ساخت | Sun 02 Sep 2018 12 |
| هاست سازنده | grenka-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://www.swi-prolog.org/ |
| مجوز | LGPLv2+ |
| حجم دانلود | 6.3M |
| حجم نصب | 21.483M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| swi-prolog-nox-7.4.2-alt2_3.1.ppc64le.rpm | 7.4.2 | ppc64le | ALT classic |
| swi-prolog-nox-7.4.2-alt2_3.1.x86_64.rpm | 7.4.2 | x86_64 | ALT classic |
نیازمندی
| مقدار | نام |
|---|---|
| - | /bin/sh |
| - | /usr/bin/emacs |
| - | /usr/lib/pkgconfig |
| >= set:ohpS9fXQlfOVMBrr29VdOT8yGPBqml5X0rMa9Ms0UjWCOcnoKNZ98X4CtdZk75nVm2FwfTMQTgiQaQjEWZl73bLr8cVWd0q0DZgBFlu3C94cOtlv8GDh0IoNgkJv56tSfqYPrpTZLG1Oxj8odlKZ2nO7kC2S7ablPuREPOBMZ8j1MBkAl8tZrjht07oImbhr9DNAL4hxtIPqPV6Z9oSIyMqCgJJsspGlQ8Dp279vsVw27rZ8pwaqU7y5WGz7xjoEAXV98OA7lRMWnL5JWI2F3HrnYR7ugkNnyHQJn1 | libX11.so.6 |
| - | rpmlib(SetVersions) |
| >= set:kg9tkFGvlrv8eBOT0iZpousyvEkrzCtyD0mr2 | libXft.so.2 |
| >= set:hf45oga | libXinerama.so.1 |
| >= set:khFEUn10jxazORxpfA | libXpm.so.4 |
| >= set:mgGFgswchox1oieFpo134DpxJOfULGccHZzXcLJubCjwIrue0s97YLZp0JkQinzQT55rK2XZhQ2QkjNZ0s0F50FwETnCPa6Wc3Xqaxzubw9pifIx2uxVx5iV0 | libXt.so.6 |
| >= set:ngZ99KvsDsGw8b7hLPkE8y42SRFHgMmcZc0CDkZf5O1r1wAo7arsc1hlxPImZepktiLRBvcFxNRoDBo8UBIkIA6EpdAVHueqtp1vlsgyLPrVt5yU6Cp5JZcoLQpOT4Uv1prKCzM3zjgNx6O1bBZ0wLbyZpUPHZC8TxuZIyRYxlQ60zfRA1P0kvBwgIHrvgtCXTnZLpL0gqgK61 | libarchive.so.13 |
| - | libc.so.6(GLIBC_2.1.2) |
| - | libc.so.6(GLIBC_2.1.3) |
| - | libc.so.6(GLIBC_2.10) |
| - | libc.so.6(GLIBC_2.11) |
| - | libc.so.6(GLIBC_2.17) |
| - | libc.so.6(GLIBC_2.2) |
| - | libc.so.6(GLIBC_2.2.1) |
| - | libc.so.6(GLIBC_2.3) |
| - | libc.so.6(GLIBC_2.7) |
| - | libc.so.6(GLIBC_2.8) |
| - | libc.so.6(GLIBC_2.9) |
| >= set:hguT2 | libcrypt.so.1 |
| - | libcrypt.so.1(XCRYPT_2.0) |
| >= set:phvVW5WnIOjZaZjdIRfOpzJaT3DbiAMr38AncFY25ZGZprrUR7KSvBeQ21lYzwRi0VCD0ga1QB8R7EZfgPZcppST7Zcokk2ARJF9EH62T1qrDB7AP1PQH1ABCb5n9MyxRMTm64DVHjo0oDvSnmfCBc9z4sL5Q5eRPRLu6nHfl9vP1Zz8vzZEzaM7LppCZqpb8Ae6u3vKyOND1W89Bp0XGatViMCzaJ7GiaZAejQz5M8p3oDFjAQNpNguZkbffME1titmGx40Fn4Zn6ujozcHZzG74RZ0yVECcGUJrbsC2LJXzsYpr1d2G3KAnyDwJTQdhRy0CEShOw2Y4baUKCzKz4q780tzxV0moYMaZefWA70iH0anMnWUzZC410WQtuAU2nwPwIjV3V15CFsaB6BlR2Ki0YWmYbbTJF5xthN15ucZfITqkdZAbZzuyGdAdEdf4tlK | libcrypto.so.1.1 |
| - | libcrypto.so.1.1(OPENSSL_1_1_0) |
| >= set:pndaAeGnZCRb7 | libdb-6.1.so |
| - | libdl.so.2(GLIBC_2.0) |
| - | libdl.so.2(GLIBC_2.1) |
| >= set:mi3XYCC4f7TaXRCJ6YQ2D9ezA10AwrfvKbIKNb6vPLw1 | libedit.so.3 |
| >= set:lifOLUZgN66pyRwa2 | libfontconfig.so.1 |
| - | libgmp-devel |
| >= set:mfKDJo6W2tBqZ8ODPZHZ8Lg7v3WEAieZI14VgPYyrcZhxv71Yba2R5gM2A4KZiZIPZkFhNwXpEEPGtog4mQnbBBXkAEGsm1j2w2S9aVEoYtBsb1xAgdymIB2fRwZItlEgwUiUo8ksZyQatWekEKKibbedKyAyOwSOE4AvkZeQkK9yMHrCyG5bQ8IimOs | libgmp.so.10 |
| >= set:jevZkgcMG5N3dYp5cWM4gW5OOBgukJ2aKhODZf0 | libjpeg.so.62 |
| - | libm.so.6(GLIBC_2.0) |
| - | libm.so.6(GLIBC_2.23) |
| - | libpthread.so.0(GLIBC_2.1) |
| - | libpthread.so.0(GLIBC_2.2) |
| - | libpthread.so.0(GLIBC_2.3.2) |
| - | libpthread.so.0(GLIBC_2.3.3) |
| >= set:nijbUeaMEol0A9Ekj0m4GpMuuymcTZhJHxWzSwBovGPgNMJuiSGddvz0cZfEIjzZu9xupKMcSAIi5EsyKaXKCcZj0 | libreadline.so.7 |
| >= set:jiq20 | librt.so.1 |
| - | librt.so.1(GLIBC_2.2) |
| >= set:mgMkCZayvqX22DADbnSuDtJbVbfSi9lCf5k7LosZbkCHVjyfqmVJs49iRcrRWjUaP3rtvqeGuHiJ6wZ3cWpshARrqMLZ6MGRpRlv7X7fmpQVp525SaZARkYZJMDM4ld | libssl.so.1.1 |
| - | libssl.so.1.1(OPENSSL_1_1_0) |
| >= set:lihUhAbqLMMh4CLhhA8 | libtinfo.so.5 |
| >= set:kgb6dgbC5nHRip4qvx6Ei8IZA0 | libz.so.1 |
| - | libz.so.1(ZLIB_1.2.2) |
| = 7.4.2-alt2_3.1 | swi-prolog-x |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 7.4.2 | pkgconfig(swipl) |
| = 7.4.2-alt2_3.1 | swi-prolog-nox |
نحوه نصب
نصب پکیج rpm swi-prolog-nox:
sudo apt-get install swi-prolog-nox-7.4.2-alt2_3.1.i586.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/swipl |
| /usr/bin/swipl-ld |
| /usr/bin/swipl-rc |
| /usr/lib/pkgconfig/swipl.pc |
| /usr/lib/swipl-7.4.2 |
| /usr/lib/swipl-7.4.2/Makefile |
| /usr/lib/swipl-7.4.2/bin |
| /usr/lib/swipl-7.4.2/bin/i586-linux |
| /usr/lib/swipl-7.4.2/bin/i586-linux/swipl |
| /usr/lib/swipl-7.4.2/bin/i586-linux/swipl-ld |
| /usr/lib/swipl-7.4.2/bin/i586-linux/swipl-rc |
| /usr/lib/swipl-7.4.2/bin/swipl.home |
| /usr/lib/swipl-7.4.2/boot |
| /usr/lib/swipl-7.4.2/boot/apply.pl |
| /usr/lib/swipl-7.4.2/boot/attvar.pl |
| /usr/lib/swipl-7.4.2/boot/autoload.pl |
| /usr/lib/swipl-7.4.2/boot/bags.pl |
| /usr/lib/swipl-7.4.2/boot/dcg.pl |
| /usr/lib/swipl-7.4.2/boot/dicts.pl |
| /usr/lib/swipl-7.4.2/boot/dwim.pl |
| /usr/lib/swipl-7.4.2/boot/engines.pl |
| /usr/lib/swipl-7.4.2/boot/expand.pl |
| /usr/lib/swipl-7.4.2/boot/history.pl |
| /usr/lib/swipl-7.4.2/boot/init.pl |
| /usr/lib/swipl-7.4.2/boot/license.pl |
| /usr/lib/swipl-7.4.2/boot/load.pl |
| /usr/lib/swipl-7.4.2/boot/messages.pl |
| /usr/lib/swipl-7.4.2/boot/packs.pl |
| /usr/lib/swipl-7.4.2/boot/parms.pl |
| /usr/lib/swipl-7.4.2/boot/predopts.pl |
| /usr/lib/swipl-7.4.2/boot/qlf.pl |
| /usr/lib/swipl-7.4.2/boot/rc.pl |
| /usr/lib/swipl-7.4.2/boot/syspred.pl |
| /usr/lib/swipl-7.4.2/boot/toplevel.pl |
| /usr/lib/swipl-7.4.2/boot/topvars.pl |
| /usr/lib/swipl-7.4.2/boot32.prc |
| /usr/lib/swipl-7.4.2/customize |
| /usr/lib/swipl-7.4.2/customize/README |
| /usr/lib/swipl-7.4.2/customize/dotswiplrc |
| /usr/lib/swipl-7.4.2/customize/dotxpcerc |
| /usr/lib/swipl-7.4.2/customize/edit |
| /usr/lib/swipl-7.4.2/demo |
| /usr/lib/swipl-7.4.2/demo/README |
| /usr/lib/swipl-7.4.2/demo/likes.pl |
| /usr/lib/swipl-7.4.2/include |
| /usr/lib/swipl-7.4.2/include/SWI-Prolog.h |
| /usr/lib/swipl-7.4.2/include/SWI-Stream.h |
| /usr/lib/swipl-7.4.2/include/SWI-cpp.h |
| /usr/lib/swipl-7.4.2/include/Yap |
| /usr/lib/swipl-7.4.2/include/Yap/YapInterface.h |
| /usr/lib/swipl-7.4.2/include/sicstus |
| /usr/lib/swipl-7.4.2/include/sicstus/sicstus.h |
| /usr/lib/swipl-7.4.2/lib |
| /usr/lib/swipl-7.4.2/lib/i586-linux |
| /usr/lib/swipl-7.4.2/lib/i586-linux/archive4pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/bdb4pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/cgi.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/crypt.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/crypto4pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/double_metaphone.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/files.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/hashstream.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/http_stream.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/isub.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/json.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/libedit4pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/libswipl.a |
| /usr/lib/swipl-7.4.2/lib/i586-linux/mallocinfo.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/md54pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/memfile.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/ntriples.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/pdt_console.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/pl2xpce.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/porter_stem.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/process.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/prolog_stream.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/protobufs.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/rdf_db.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/readline4pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/readutil.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/rlimit.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/sgml2pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/sha4pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/snowball.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/socket.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/ssl4pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/streaminfo.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/syslog.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/table.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/time.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/tipc.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/turtle.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/uid.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/unicode4pl.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/unix.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/uri.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/websocket.so |
| /usr/lib/swipl-7.4.2/lib/i586-linux/zlib4pl.so |
| /usr/lib/swipl-7.4.2/library |
| /usr/lib/swipl-7.4.2/library/DTD |
| /usr/lib/swipl-7.4.2/library/DTD/HTML4.dcl |
| /usr/lib/swipl-7.4.2/library/DTD/HTML4.dtd |
| /usr/lib/swipl-7.4.2/library/DTD/HTML4.soc |
| /usr/lib/swipl-7.4.2/library/DTD/HTML5.dtd |
| /usr/lib/swipl-7.4.2/library/DTD/HTMLlat1.ent |
| /usr/lib/swipl-7.4.2/library/DTD/HTMLspec.ent |
| /usr/lib/swipl-7.4.2/library/DTD/HTMLsym.ent |
| /usr/lib/swipl-7.4.2/library/INDEX.pl |
| /usr/lib/swipl-7.4.2/library/MANUAL |
| /usr/lib/swipl-7.4.2/library/aggregate.pl |
| /usr/lib/swipl-7.4.2/library/ansi_term.pl |
| /usr/lib/swipl-7.4.2/library/apply.pl |
| /usr/lib/swipl-7.4.2/library/apply_macros.pl |
| /usr/lib/swipl-7.4.2/library/archive.pl |
| /usr/lib/swipl-7.4.2/library/arithmetic.pl |
| /usr/lib/swipl-7.4.2/library/assoc.pl |
| /usr/lib/swipl-7.4.2/library/backcomp.pl |
| /usr/lib/swipl-7.4.2/library/base32.pl |
| /usr/lib/swipl-7.4.2/library/base64.pl |
| /usr/lib/swipl-7.4.2/library/bdb.pl |
| /usr/lib/swipl-7.4.2/library/broadcast.pl |
| /usr/lib/swipl-7.4.2/library/c14n2.pl |
| /usr/lib/swipl-7.4.2/library/cgi.pl |
| /usr/lib/swipl-7.4.2/library/charsio.pl |
| /usr/lib/swipl-7.4.2/library/check.pl |
| /usr/lib/swipl-7.4.2/library/check_installation.pl |
| /usr/lib/swipl-7.4.2/library/checklast.pl |
| /usr/lib/swipl-7.4.2/library/checkselect.pl |
| /usr/lib/swipl-7.4.2/library/chr |
| /usr/lib/swipl-7.4.2/library/chr.pl |
| /usr/lib/swipl-7.4.2/library/chr/README |
| /usr/lib/swipl-7.4.2/library/chr/a_star.pl |
| /usr/lib/swipl-7.4.2/library/chr/binomialheap.pl |
| /usr/lib/swipl-7.4.2/library/chr/builtins.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_compiler_errors.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_compiler_options.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_compiler_utility.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_debug.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_hashtable_store.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_integertable_store.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_messages.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_op.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_runtime.pl |
| /usr/lib/swipl-7.4.2/library/chr/chr_translate.pl |
| /usr/lib/swipl-7.4.2/library/chr/clean_code.pl |
| /usr/lib/swipl-7.4.2/library/chr/find.pl |
| /usr/lib/swipl-7.4.2/library/chr/guard_entailment.pl |
| /usr/lib/swipl-7.4.2/library/chr/listmap.pl |
| /usr/lib/swipl-7.4.2/library/chr/pairlist.pl |
| /usr/lib/swipl-7.4.2/library/clp |
| /usr/lib/swipl-7.4.2/library/clp/bounds.pl |
| /usr/lib/swipl-7.4.2/library/clp/clp_distinct.pl |
| /usr/lib/swipl-7.4.2/library/clp/clp_events.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpb.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpfd.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpq |
| /usr/lib/swipl-7.4.2/library/clp/clpq.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpq/bb_q.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpq/bv_q.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpq/fourmotz_q.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpq/ineq_q.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpq/itf_q.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpq/nf_q.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpq/store_q.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpqr |
| /usr/lib/swipl-7.4.2/library/clp/clpqr/README |
| /usr/lib/swipl-7.4.2/library/clp/clpqr/class.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpqr/dump.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpqr/geler.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpqr/itf.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpqr/ordering.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpqr/project.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpqr/redund.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpr |
| /usr/lib/swipl-7.4.2/library/clp/clpr.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpr/bb_r.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpr/bv_r.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpr/fourmotz_r.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpr/ineq_r.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpr/itf_r.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpr/nf_r.pl |
| /usr/lib/swipl-7.4.2/library/clp/clpr/store_r.pl |
| /usr/lib/swipl-7.4.2/library/clp/simplex.pl |
| /usr/lib/swipl-7.4.2/library/codesio.pl |
| /usr/lib/swipl-7.4.2/library/coinduction.pl |
| /usr/lib/swipl-7.4.2/library/console_input.pl |
| /usr/lib/swipl-7.4.2/library/cql |
| /usr/lib/swipl-7.4.2/library/cql/cql.pl |
| /usr/lib/swipl-7.4.2/library/cql/cql_autoschema.pl |
| /usr/lib/swipl-7.4.2/library/cql/cql_database.pl |
| /usr/lib/swipl-7.4.2/library/cql/cql_hooks.pl |
| /usr/lib/swipl-7.4.2/library/cql/sql_keywords.pl |
| /usr/lib/swipl-7.4.2/library/cql/sql_parser.pl |
| /usr/lib/swipl-7.4.2/library/cql/sql_tokenizer.pl |
| /usr/lib/swipl-7.4.2/library/cql/sql_write.pl |
| /usr/lib/swipl-7.4.2/library/crypt.pl |
| /usr/lib/swipl-7.4.2/library/crypto.pl |
| /usr/lib/swipl-7.4.2/library/csv.pl |
| /usr/lib/swipl-7.4.2/library/ctypes.pl |
| /usr/lib/swipl-7.4.2/library/date.pl |
| /usr/lib/swipl-7.4.2/library/dcg |
| /usr/lib/swipl-7.4.2/library/dcg/basics.pl |
| /usr/lib/swipl-7.4.2/library/debug.pl |
| /usr/lib/swipl-7.4.2/library/dialect |
| /usr/lib/swipl-7.4.2/library/dialect.pl |
| /usr/lib/swipl-7.4.2/library/dialect/bim.pl |
| /usr/lib/swipl-7.4.2/library/dialect/commons.pl |
| /usr/lib/swipl-7.4.2/library/dialect/eclipse |
| /usr/lib/swipl-7.4.2/library/dialect/eclipse/test_util_iso.pl |
| /usr/lib/swipl-7.4.2/library/dialect/hprolog |
| /usr/lib/swipl-7.4.2/library/dialect/hprolog.pl |
| /usr/lib/swipl-7.4.2/library/dialect/hprolog/format.pl |
| /usr/lib/swipl-7.4.2/library/dialect/ifprolog |
| /usr/lib/swipl-7.4.2/library/dialect/ifprolog.pl |
| /usr/lib/swipl-7.4.2/library/dialect/iso |
| /usr/lib/swipl-7.4.2/library/dialect/iso/iso_predicates.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus/arrays.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus/block.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus/lists.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus/sockets.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus/swipl-lfr.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus/system.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus/terms.pl |
| /usr/lib/swipl-7.4.2/library/dialect/sicstus/timeout.pl |
| /usr/lib/swipl-7.4.2/library/dialect/swi |
| /usr/lib/swipl-7.4.2/library/dialect/swi/syspred_options.pl |
| /usr/lib/swipl-7.4.2/library/dialect/yap |
| /usr/lib/swipl-7.4.2/library/dialect/yap.pl |
| /usr/lib/swipl-7.4.2/library/dialect/yap/README.TXT |
| /usr/lib/swipl-7.4.2/library/dicts.pl |
| /usr/lib/swipl-7.4.2/library/dif.pl |
| /usr/lib/swipl-7.4.2/library/doc_files.pl |
| /usr/lib/swipl-7.4.2/library/doc_http.pl |
| /usr/lib/swipl-7.4.2/library/doc_latex.pl |
| /usr/lib/swipl-7.4.2/library/double_metaphone.pl |
| /usr/lib/swipl-7.4.2/library/edinburgh.pl |
| /usr/lib/swipl-7.4.2/library/edit.pl |
| /usr/lib/swipl-7.4.2/library/editline.pl |
| /usr/lib/swipl-7.4.2/library/error.pl |
| /usr/lib/swipl-7.4.2/library/explain.pl |
| /usr/lib/swipl-7.4.2/library/fastrw.pl |
| /usr/lib/swipl-7.4.2/library/files.pl |
| /usr/lib/swipl-7.4.2/library/filesex.pl |
| /usr/lib/swipl-7.4.2/library/gensym.pl |
| /usr/lib/swipl-7.4.2/library/git.pl |
| /usr/lib/swipl-7.4.2/library/hash_stream.pl |
| /usr/lib/swipl-7.4.2/library/heaps.pl |
| /usr/lib/swipl-7.4.2/library/help.pl |
| /usr/lib/swipl-7.4.2/library/helpidx.pl |
| /usr/lib/swipl-7.4.2/library/hotfix.pl |
| /usr/lib/swipl-7.4.2/library/http |
| /usr/lib/swipl-7.4.2/library/http/INDEX.pl |
| /usr/lib/swipl-7.4.2/library/http/README |
| /usr/lib/swipl-7.4.2/library/http/ax.pl |
| /usr/lib/swipl-7.4.2/library/http/dcg_basics.pl |
| /usr/lib/swipl-7.4.2/library/http/html_head.pl |
| /usr/lib/swipl-7.4.2/library/http/html_quasiquotations.pl |
| /usr/lib/swipl-7.4.2/library/http/html_write.pl |
| /usr/lib/swipl-7.4.2/library/http/http_authenticate.pl |
| /usr/lib/swipl-7.4.2/library/http/http_client.pl |
| /usr/lib/swipl-7.4.2/library/http/http_cookie.pl |
| /usr/lib/swipl-7.4.2/library/http/http_cors.pl |
| /usr/lib/swipl-7.4.2/library/http/http_digest.pl |
| /usr/lib/swipl-7.4.2/library/http/http_dirindex.pl |
| /usr/lib/swipl-7.4.2/library/http/http_dispatch.pl |
| /usr/lib/swipl-7.4.2/library/http/http_error.pl |
| /usr/lib/swipl-7.4.2/library/http/http_exception.pl |
| /usr/lib/swipl-7.4.2/library/http/http_files.pl |
| /usr/lib/swipl-7.4.2/library/http/http_header.pl |
| /usr/lib/swipl-7.4.2/library/http/http_hook.pl |
| /usr/lib/swipl-7.4.2/library/http/http_host.pl |
| /usr/lib/swipl-7.4.2/library/http/http_json.pl |
| /usr/lib/swipl-7.4.2/library/http/http_load.pl |
| /usr/lib/swipl-7.4.2/library/http/http_log.pl |
| /usr/lib/swipl-7.4.2/library/http/http_multipart_plugin.pl |
| /usr/lib/swipl-7.4.2/library/http/http_open.pl |
| /usr/lib/swipl-7.4.2/library/http/http_openid.pl |
| /usr/lib/swipl-7.4.2/library/http/http_parameters.pl |
| /usr/lib/swipl-7.4.2/library/http/http_path.pl |
| /usr/lib/swipl-7.4.2/library/http/http_proxy.pl |
| /usr/lib/swipl-7.4.2/library/http/http_pwp.pl |
| /usr/lib/swipl-7.4.2/library/http/http_server_files.pl |
| /usr/lib/swipl-7.4.2/library/http/http_session.pl |
| /usr/lib/swipl-7.4.2/library/http/http_sgml_plugin.pl |
| /usr/lib/swipl-7.4.2/library/http/http_ssl_plugin.pl |
| /usr/lib/swipl-7.4.2/library/http/http_stream.pl |
| /usr/lib/swipl-7.4.2/library/http/http_unix_daemon.pl |
| /usr/lib/swipl-7.4.2/library/http/http_wrapper.pl |
| /usr/lib/swipl-7.4.2/library/http/hub.pl |
| /usr/lib/swipl-7.4.2/library/http/inetd_httpd.pl |
| /usr/lib/swipl-7.4.2/library/http/jquery.pl |
| /usr/lib/swipl-7.4.2/library/http/js_grammar.pl |
| /usr/lib/swipl-7.4.2/library/http/js_write.pl |
| /usr/lib/swipl-7.4.2/library/http/json.pl |
| /usr/lib/swipl-7.4.2/library/http/json_convert.pl |
| /usr/lib/swipl-7.4.2/library/http/mimepack.pl |
| /usr/lib/swipl-7.4.2/library/http/mimetype.pl |
| /usr/lib/swipl-7.4.2/library/http/term_html.pl |
| /usr/lib/swipl-7.4.2/library/http/thread_httpd.pl |
| /usr/lib/swipl-7.4.2/library/http/web |
| /usr/lib/swipl-7.4.2/library/http/web/css |
| /usr/lib/swipl-7.4.2/library/http/web/css/dirindex.css |
| /usr/lib/swipl-7.4.2/library/http/web/css/openid.css |
| /usr/lib/swipl-7.4.2/library/http/web/css/plterm.css |
| /usr/lib/swipl-7.4.2/library/http/web/icons |
| /usr/lib/swipl-7.4.2/library/http/web/icons/back.png |
| /usr/lib/swipl-7.4.2/library/http/web/icons/c.png |
| /usr/lib/swipl-7.4.2/library/http/web/icons/compressed.png |
| /usr/lib/swipl-7.4.2/library/http/web/icons/folder.png |
| /usr/lib/swipl-7.4.2/library/http/web/icons/generic.png |
| /usr/lib/swipl-7.4.2/library/http/web/icons/layout.png |
| /usr/lib/swipl-7.4.2/library/http/web/icons/openid-logo-square.png |
| /usr/lib/swipl-7.4.2/library/http/web/icons/openid-logo-tiny.png |
| /usr/lib/swipl-7.4.2/library/http/web/js |
| /usr/lib/swipl-7.4.2/library/http/web/js/jquery-1.11.3.min.js |
| /usr/lib/swipl-7.4.2/library/http/web/js/pengines.js |
| /usr/lib/swipl-7.4.2/library/http/websocket.pl |
| /usr/lib/swipl-7.4.2/library/http/xpce_httpd.pl |
| /usr/lib/swipl-7.4.2/library/http/yadis.pl |
| /usr/lib/swipl-7.4.2/library/iostream.pl |
| /usr/lib/swipl-7.4.2/library/iso_639.pl |
| /usr/lib/swipl-7.4.2/library/isub.pl |
| /usr/lib/swipl-7.4.2/library/lazy_lists.pl |
| /usr/lib/swipl-7.4.2/library/listing.pl |
| /usr/lib/swipl-7.4.2/library/lists.pl |
| /usr/lib/swipl-7.4.2/library/main.pl |
| /usr/lib/swipl-7.4.2/library/make.pl |
| /usr/lib/swipl-7.4.2/library/mallocinfo.pl |
| /usr/lib/swipl-7.4.2/library/md5.pl |
| /usr/lib/swipl-7.4.2/library/memfile.pl |
| /usr/lib/swipl-7.4.2/library/modules.pl |
| /usr/lib/swipl-7.4.2/library/nb_rbtrees.pl |
| /usr/lib/swipl-7.4.2/library/nb_set.pl |
| /usr/lib/swipl-7.4.2/library/occurs.pl |
| /usr/lib/swipl-7.4.2/library/operators.pl |
| /usr/lib/swipl-7.4.2/library/option.pl |
| /usr/lib/swipl-7.4.2/library/optparse.pl |
| /usr/lib/swipl-7.4.2/library/ordsets.pl |
| /usr/lib/swipl-7.4.2/library/oset.pl |
| /usr/lib/swipl-7.4.2/library/pairs.pl |
| /usr/lib/swipl-7.4.2/library/pdt_console.pl |
| /usr/lib/swipl-7.4.2/library/pengines.pl |
| /usr/lib/swipl-7.4.2/library/pengines_io.pl |
| /usr/lib/swipl-7.4.2/library/persistency.pl |
| /usr/lib/swipl-7.4.2/library/pio.pl |
| /usr/lib/swipl-7.4.2/library/pldoc |
| /usr/lib/swipl-7.4.2/library/pldoc.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/README |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_access.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_colour.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_html.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_htmlsrc.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_index.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_library.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_man.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_modes.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_pack.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_process.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_register.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_search.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_util.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/doc_wiki.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/edit.png |
| /usr/lib/swipl-7.4.2/library/pldoc/editpred.png |
| /usr/lib/swipl-7.4.2/library/pldoc/favicon.ico |
| /usr/lib/swipl-7.4.2/library/pldoc/h1-bg.png |
| /usr/lib/swipl-7.4.2/library/pldoc/h2-bg.png |
| /usr/lib/swipl-7.4.2/library/pldoc/hooks.pl |
| /usr/lib/swipl-7.4.2/library/pldoc/multi-bg.png |
| /usr/lib/swipl-7.4.2/library/pldoc/pldoc.css |
| /usr/lib/swipl-7.4.2/library/pldoc/pldoc.js |
| /usr/lib/swipl-7.4.2/library/pldoc/pldoc.sty |
| /usr/lib/swipl-7.4.2/library/pldoc/pllisting.css |
| /usr/lib/swipl-7.4.2/library/pldoc/priv-bg.png |
| /usr/lib/swipl-7.4.2/library/pldoc/private.png |
| /usr/lib/swipl-7.4.2/library/pldoc/pub-bg.png |
| /usr/lib/swipl-7.4.2/library/pldoc/public.png |
| /usr/lib/swipl-7.4.2/library/pldoc/reload.png |
| /usr/lib/swipl-7.4.2/library/pldoc/source.png |
| /usr/lib/swipl-7.4.2/library/pldoc/up.gif |
| /usr/lib/swipl-7.4.2/library/plunit.pl |
| /usr/lib/swipl-7.4.2/library/porter_stem.pl |
| /usr/lib/swipl-7.4.2/library/portray_text.pl |
| /usr/lib/swipl-7.4.2/library/pprint.pl |
| /usr/lib/swipl-7.4.2/library/predicate_options.pl |
| /usr/lib/swipl-7.4.2/library/process.pl |
| /usr/lib/swipl-7.4.2/library/prolog_autoload.pl |
| /usr/lib/swipl-7.4.2/library/prolog_breakpoints.pl |
| /usr/lib/swipl-7.4.2/library/prolog_clause.pl |
| /usr/lib/swipl-7.4.2/library/prolog_codewalk.pl |
| /usr/lib/swipl-7.4.2/library/prolog_colour.pl |
| /usr/lib/swipl-7.4.2/library/prolog_format.pl |
| /usr/lib/swipl-7.4.2/library/prolog_history.pl |
| /usr/lib/swipl-7.4.2/library/prolog_install.pl |
| /usr/lib/swipl-7.4.2/library/prolog_metainference.pl |
| /usr/lib/swipl-7.4.2/library/prolog_pack.pl |
| /usr/lib/swipl-7.4.2/library/prolog_server.pl |
| /usr/lib/swipl-7.4.2/library/prolog_source.pl |
| /usr/lib/swipl-7.4.2/library/prolog_stack.pl |
| /usr/lib/swipl-7.4.2/library/prolog_stream.pl |
| /usr/lib/swipl-7.4.2/library/prolog_xref.pl |
| /usr/lib/swipl-7.4.2/library/protobufs.pl |
| /usr/lib/swipl-7.4.2/library/pure_input.pl |
| /usr/lib/swipl-7.4.2/library/pwp.pl |
| /usr/lib/swipl-7.4.2/library/qpforeign.pl |
| /usr/lib/swipl-7.4.2/library/qsave.pl |
| /usr/lib/swipl-7.4.2/library/quasi_quotations.pl |
| /usr/lib/swipl-7.4.2/library/quintus.pl |
| /usr/lib/swipl-7.4.2/library/random.pl |
| /usr/lib/swipl-7.4.2/library/rbtrees.pl |
| /usr/lib/swipl-7.4.2/library/rdf.pl |
| /usr/lib/swipl-7.4.2/library/rdf_ntriples.pl |
| /usr/lib/swipl-7.4.2/library/rdf_parser.pl |
| /usr/lib/swipl-7.4.2/library/rdf_triple.pl |
| /usr/lib/swipl-7.4.2/library/rdf_write.pl |
| /usr/lib/swipl-7.4.2/library/readline.pl |
| /usr/lib/swipl-7.4.2/library/readln.pl |
| /usr/lib/swipl-7.4.2/library/readutil.pl |
| /usr/lib/swipl-7.4.2/library/record.pl |
| /usr/lib/swipl-7.4.2/library/rewrite.pl |
| /usr/lib/swipl-7.4.2/library/rlimit.pl |
| /usr/lib/swipl-7.4.2/library/saml.pl |
| /usr/lib/swipl-7.4.2/library/sandbox.pl |
| /usr/lib/swipl-7.4.2/library/semweb |
| /usr/lib/swipl-7.4.2/library/semweb/INDEX.pl |
| /usr/lib/swipl-7.4.2/library/semweb/README.md |
| /usr/lib/swipl-7.4.2/library/semweb/dc.rdfs |
| /usr/lib/swipl-7.4.2/library/semweb/eor.rdfs |
| /usr/lib/swipl-7.4.2/library/semweb/owl.owl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf11.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf11_containers.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_cache.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_compare.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_db.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_edit.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_http_plugin.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_library.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_library.ttl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_litindex.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_ntriples.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_persistency.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_portray.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_sandbox.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_turtle.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_turtle_write.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdf_zlib_plugin.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdfa.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdfs.pl |
| /usr/lib/swipl-7.4.2/library/semweb/rdfs.rdfs |
| /usr/lib/swipl-7.4.2/library/semweb/sparql_client.pl |
| /usr/lib/swipl-7.4.2/library/semweb/turtle.pl |
| /usr/lib/swipl-7.4.2/library/settings.pl |
| /usr/lib/swipl-7.4.2/library/sgml.pl |
| /usr/lib/swipl-7.4.2/library/sgml_write.pl |
| /usr/lib/swipl-7.4.2/library/sha.pl |
| /usr/lib/swipl-7.4.2/library/shell.pl |
| /usr/lib/swipl-7.4.2/library/shlib.pl |
| /usr/lib/swipl-7.4.2/library/snowball.pl |
| /usr/lib/swipl-7.4.2/library/socket.pl |
| /usr/lib/swipl-7.4.2/library/solution_sequences.pl |
| /usr/lib/swipl-7.4.2/library/sort.pl |
| /usr/lib/swipl-7.4.2/library/ssl.pl |
| /usr/lib/swipl-7.4.2/library/statistics.pl |
| /usr/lib/swipl-7.4.2/library/streaminfo.pl |
| /usr/lib/swipl-7.4.2/library/streampool.pl |
| /usr/lib/swipl-7.4.2/library/syslog.pl |
| /usr/lib/swipl-7.4.2/library/system.pl |
| /usr/lib/swipl-7.4.2/library/table.pl |
| /usr/lib/swipl-7.4.2/library/table_util.pl |
| /usr/lib/swipl-7.4.2/library/tabling.pl |
| /usr/lib/swipl-7.4.2/library/term_to_json.pl |
| /usr/lib/swipl-7.4.2/library/terms.pl |
| /usr/lib/swipl-7.4.2/library/test_cover.pl |
| /usr/lib/swipl-7.4.2/library/test_wizard.pl |
| /usr/lib/swipl-7.4.2/library/thread.pl |
| /usr/lib/swipl-7.4.2/library/thread_pool.pl |
| /usr/lib/swipl-7.4.2/library/threadutil.pl |
| /usr/lib/swipl-7.4.2/library/time.pl |
| /usr/lib/swipl-7.4.2/library/tipc |
| /usr/lib/swipl-7.4.2/library/tipc/tipc.pl |
| /usr/lib/swipl-7.4.2/library/tipc/tipc_broadcast.pl |
| /usr/lib/swipl-7.4.2/library/tipc/tipc_linda.pl |
| /usr/lib/swipl-7.4.2/library/tipc/tipc_overview.txt |
| /usr/lib/swipl-7.4.2/library/tipc/tipc_paxos.pl |
| /usr/lib/swipl-7.4.2/library/tty.pl |
| /usr/lib/swipl-7.4.2/library/udp_broadcast.pl |
| /usr/lib/swipl-7.4.2/library/ugraphs.pl |
| /usr/lib/swipl-7.4.2/library/uid.pl |
| /usr/lib/swipl-7.4.2/library/unicode |
| /usr/lib/swipl-7.4.2/library/unicode.pl |
| /usr/lib/swipl-7.4.2/library/unicode/blocks.pl |
| /usr/lib/swipl-7.4.2/library/unicode/unicode_data.pl |
| /usr/lib/swipl-7.4.2/library/unix.pl |
| /usr/lib/swipl-7.4.2/library/uri.pl |
| /usr/lib/swipl-7.4.2/library/url.pl |
| /usr/lib/swipl-7.4.2/library/utf8.pl |
| /usr/lib/swipl-7.4.2/library/varnumbers.pl |
| /usr/lib/swipl-7.4.2/library/vm.pl |
| /usr/lib/swipl-7.4.2/library/when.pl |
| /usr/lib/swipl-7.4.2/library/win_menu.pl |
| /usr/lib/swipl-7.4.2/library/writef.pl |
| /usr/lib/swipl-7.4.2/library/www_browser.pl |
| /usr/lib/swipl-7.4.2/library/xmldsig.pl |
| /usr/lib/swipl-7.4.2/library/xmlenc.pl |
| /usr/lib/swipl-7.4.2/library/xpath.pl |
| /usr/lib/swipl-7.4.2/library/xsdp_types.pl |
| /usr/lib/swipl-7.4.2/library/yall.pl |
| /usr/lib/swipl-7.4.2/library/zlib.pl |
| /usr/lib/swipl-7.4.2/swipl-win.rc |
| /usr/lib/swipl-7.4.2/swipl.home |
| /usr/lib/swipl-7.4.2/swipl.rc |
| /usr/lib/swipl-7.4.2/xpce |
| /usr/share/doc/swi-prolog-nox-7.4.2 |
| /usr/share/doc/swi-prolog-nox-7.4.2/LICENSE |
| /usr/share/doc/swi-prolog-nox-7.4.2/README.md |
| /usr/share/doc/swi-prolog-nox-7.4.2/VERSION |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2018-08-29 |
NMU: Rebuild with new openssl 1.1.0.
|
| 2018-07-14 |
update by mgaimport
|
| 2018-03-15 |
added Url:
|
| 2018-03-04 |
new version; picked from orphaned as import
|
| 2012-08-30 |
Rebuilt with gmp 5.0.5
|
| 2010-02-04 |
NMU (by repocop): the following fixes applied:
|
| 2006-07-02 |
5.0.10 -> 5.6.15
|
| 2005-12-30 |
Rebuilt with libreadline.so.5.
|
| 2003-01-24 |
5.0.10
|
| 2001-11-27 |
4.0.10
|
| 2001-01-16 |
RE adaptations
|
| 2000-10-27 |
new version
|
| 2000-08-23 |
add packager field
|
| 2000-08-07 |
automatically added BuildRequires
|
| 2000-07-19 |
BM
|
| 2000-07-11 |
and pixel changed a few other things to stef's changes
|