معرفی شرکت ها
swi-prolog-nox-7.2.3-4-omv4000.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
SWI-Prolog without GUI components
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | OpenMandriva 4.3 |
| مخزن | OpenMandriva main-release aarch64 |
| نام بسته | swi-prolog-nox |
| نام فایل بسته | swi-prolog-nox-7.2.3-4-omv4000.aarch64.rpm |
| نسخه بسته | 7.2.3 |
| انتشار بسته | 4 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Mon 13 May 2019 12 |
| هاست سازنده | synquacer2-3.openmandriva.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://www.swi-prolog.org/ |
| مجوز | LGPLv2+ |
| حجم دانلود | 2.9M |
| حجم نصب | 15.236M |
This package provide SWI-Prolog and several libraries, but without
GUI components.
نیازمندی
| مقدار | نام |
|---|---|
| - | /bin/sh |
| - | /usr/bin/pkg-config |
| - | ld-linux-aarch64.so.1()(64bit) |
| - | ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) |
| - | libX11.so.6()(64bit) |
| - | libXft.so.2()(64bit) |
| - | libXinerama.so.1()(64bit) |
| - | libXpm.so.4()(64bit) |
| - | libXt.so.6()(64bit) |
| - | libarchive.so.16()(64bit) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libcrypt.so.1()(64bit) |
| - | libcrypt.so.1(XCRYPT_2.0)(64bit) |
| - | libdl.so.2()(64bit) |
| - | libdl.so.2(GLIBC_2.17)(64bit) |
| - | libfontconfig.so.1()(64bit) |
| - | libgmp.so.10()(64bit) |
| - | libjpeg.so.8()(64bit) |
| - | libjpeg.so.8(LIBJPEG_8.0)(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.17)(64bit) |
| - | libm.so.6(GLIBC_2.23)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libncursesw.so.6()(64bit) |
| - | libpthread.so.0()(64bit) |
| - | libpthread.so.0(GLIBC_2.17)(64bit) |
| - | libreadline.so.8()(64bit) |
| - | libswipl.so.7.2()(64bit) |
| - | libz.so.1()(64bit) |
| - | libz.so.1(ZLIB_1.2.2)(64bit) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| - | libswipl.so.7.2()(64bit) |
| = 7.2.3 | pkgconfig(swipl) |
| = 7.2.3-4 | swi-prolog-nox |
| = 7.2.3-4 | swi-prolog-nox(aarch-64) |
نحوه نصب
نصب پکیج rpm swi-prolog-nox:
urpmi install swi-prolog-nox-7.2.3-4-omv4000.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/swipl |
| /usr/bin/swipl-ld |
| /usr/bin/swipl-rc |
| /usr/lib64/pkgconfig/swipl.pc |
| /usr/lib64/swipl-7.2.3 |
| /usr/lib64/swipl-7.2.3/Makefile |
| /usr/lib64/swipl-7.2.3/bin |
| /usr/lib64/swipl-7.2.3/bin/aarch64-linux |
| /usr/lib64/swipl-7.2.3/bin/aarch64-linux/swipl |
| /usr/lib64/swipl-7.2.3/bin/aarch64-linux/swipl-ld |
| /usr/lib64/swipl-7.2.3/bin/aarch64-linux/swipl-rc |
| /usr/lib64/swipl-7.2.3/bin/swipl.home |
| /usr/lib64/swipl-7.2.3/boot |
| /usr/lib64/swipl-7.2.3/boot/apply.pl |
| /usr/lib64/swipl-7.2.3/boot/attvar.pl |
| /usr/lib64/swipl-7.2.3/boot/autoload.pl |
| /usr/lib64/swipl-7.2.3/boot/bags.pl |
| /usr/lib64/swipl-7.2.3/boot/dcg.pl |
| /usr/lib64/swipl-7.2.3/boot/dicts.pl |
| /usr/lib64/swipl-7.2.3/boot/dwim.pl |
| /usr/lib64/swipl-7.2.3/boot/expand.pl |
| /usr/lib64/swipl-7.2.3/boot/history.pl |
| /usr/lib64/swipl-7.2.3/boot/init.pl |
| /usr/lib64/swipl-7.2.3/boot/license.pl |
| /usr/lib64/swipl-7.2.3/boot/load.pl |
| /usr/lib64/swipl-7.2.3/boot/messages.pl |
| /usr/lib64/swipl-7.2.3/boot/packs.pl |
| /usr/lib64/swipl-7.2.3/boot/parms.pl |
| /usr/lib64/swipl-7.2.3/boot/predopts.pl |
| /usr/lib64/swipl-7.2.3/boot/qlf.pl |
| /usr/lib64/swipl-7.2.3/boot/rc.pl |
| /usr/lib64/swipl-7.2.3/boot/syspred.pl |
| /usr/lib64/swipl-7.2.3/boot/toplevel.pl |
| /usr/lib64/swipl-7.2.3/boot/topvars.pl |
| /usr/lib64/swipl-7.2.3/boot64.prc |
| /usr/lib64/swipl-7.2.3/customize |
| /usr/lib64/swipl-7.2.3/customize/README |
| /usr/lib64/swipl-7.2.3/customize/dotswiplrc |
| /usr/lib64/swipl-7.2.3/customize/dotxpcerc |
| /usr/lib64/swipl-7.2.3/customize/edit |
| /usr/lib64/swipl-7.2.3/demo |
| /usr/lib64/swipl-7.2.3/demo/README |
| /usr/lib64/swipl-7.2.3/demo/likes.pl |
| /usr/lib64/swipl-7.2.3/include |
| /usr/lib64/swipl-7.2.3/include/SWI-Prolog.h |
| /usr/lib64/swipl-7.2.3/include/SWI-Stream.h |
| /usr/lib64/swipl-7.2.3/include/SWI-cpp.h |
| /usr/lib64/swipl-7.2.3/include/Yap |
| /usr/lib64/swipl-7.2.3/include/Yap/YapInterface.h |
| /usr/lib64/swipl-7.2.3/include/sicstus |
| /usr/lib64/swipl-7.2.3/include/sicstus/sicstus.h |
| /usr/lib64/swipl-7.2.3/lib |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/archive4pl.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/cgi.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/crypt.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/double_metaphone.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/files.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/http_stream.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/isub.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/json.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/libswipl.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/libswipl.so.7.2 |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/libswipl.so.7.2.3 |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/memfile.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/mime.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/ntriples.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/pdt_console.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/pl2xpce.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/porter_stem.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/process.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/prolog_stream.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/protobufs.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/rdf_db.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/readutil.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/rlimit.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/sgml2pl.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/sha4pl.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/snowball.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/socket.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/streaminfo.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/syslog.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/table.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/time.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/tipc.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/turtle.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/uid.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/unicode4pl.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/unix.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/uri.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/websocket.so |
| /usr/lib64/swipl-7.2.3/lib/aarch64-linux/zlib4pl.so |
| /usr/lib64/swipl-7.2.3/library |
| /usr/lib64/swipl-7.2.3/library/DTD |
| /usr/lib64/swipl-7.2.3/library/DTD/HTML4.dcl |
| /usr/lib64/swipl-7.2.3/library/DTD/HTML4.dtd |
| /usr/lib64/swipl-7.2.3/library/DTD/HTML4.soc |
| /usr/lib64/swipl-7.2.3/library/DTD/HTML5.dtd |
| /usr/lib64/swipl-7.2.3/library/DTD/HTMLlat1.ent |
| /usr/lib64/swipl-7.2.3/library/DTD/HTMLspec.ent |
| /usr/lib64/swipl-7.2.3/library/DTD/HTMLsym.ent |
| /usr/lib64/swipl-7.2.3/library/INDEX.pl |
| /usr/lib64/swipl-7.2.3/library/MANUAL |
| /usr/lib64/swipl-7.2.3/library/aggregate.pl |
| /usr/lib64/swipl-7.2.3/library/ansi_term.pl |
| /usr/lib64/swipl-7.2.3/library/apply.pl |
| /usr/lib64/swipl-7.2.3/library/apply_macros.pl |
| /usr/lib64/swipl-7.2.3/library/archive.pl |
| /usr/lib64/swipl-7.2.3/library/arithmetic.pl |
| /usr/lib64/swipl-7.2.3/library/assoc.pl |
| /usr/lib64/swipl-7.2.3/library/backcomp.pl |
| /usr/lib64/swipl-7.2.3/library/base32.pl |
| /usr/lib64/swipl-7.2.3/library/base64.pl |
| /usr/lib64/swipl-7.2.3/library/broadcast.pl |
| /usr/lib64/swipl-7.2.3/library/cgi.pl |
| /usr/lib64/swipl-7.2.3/library/charsio.pl |
| /usr/lib64/swipl-7.2.3/library/check.pl |
| /usr/lib64/swipl-7.2.3/library/check_installation.pl |
| /usr/lib64/swipl-7.2.3/library/checklast.pl |
| /usr/lib64/swipl-7.2.3/library/checkselect.pl |
| /usr/lib64/swipl-7.2.3/library/chr |
| /usr/lib64/swipl-7.2.3/library/chr.pl |
| /usr/lib64/swipl-7.2.3/library/chr/README |
| /usr/lib64/swipl-7.2.3/library/chr/a_star.pl |
| /usr/lib64/swipl-7.2.3/library/chr/binomialheap.pl |
| /usr/lib64/swipl-7.2.3/library/chr/builtins.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_compiler_errors.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_compiler_options.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_compiler_utility.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_debug.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_hashtable_store.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_integertable_store.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_messages.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_op.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_runtime.pl |
| /usr/lib64/swipl-7.2.3/library/chr/chr_translate.pl |
| /usr/lib64/swipl-7.2.3/library/chr/clean_code.pl |
| /usr/lib64/swipl-7.2.3/library/chr/find.pl |
| /usr/lib64/swipl-7.2.3/library/chr/guard_entailment.pl |
| /usr/lib64/swipl-7.2.3/library/chr/listmap.pl |
| /usr/lib64/swipl-7.2.3/library/chr/pairlist.pl |
| /usr/lib64/swipl-7.2.3/library/clp |
| /usr/lib64/swipl-7.2.3/library/clp/bounds.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clp_distinct.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clp_events.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpb.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpfd.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpq |
| /usr/lib64/swipl-7.2.3/library/clp/clpq.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpq/bb_q.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpq/bv_q.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpq/fourmotz_q.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpq/ineq_q.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpq/itf_q.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpq/nf_q.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpq/store_q.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr/README |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr/class.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr/dump.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr/geler.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr/itf.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr/ordering.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr/project.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpqr/redund.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpr |
| /usr/lib64/swipl-7.2.3/library/clp/clpr.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpr/bb_r.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpr/bv_r.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpr/fourmotz_r.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpr/ineq_r.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpr/itf_r.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpr/nf_r.pl |
| /usr/lib64/swipl-7.2.3/library/clp/clpr/store_r.pl |
| /usr/lib64/swipl-7.2.3/library/clp/simplex.pl |
| /usr/lib64/swipl-7.2.3/library/codesio.pl |
| /usr/lib64/swipl-7.2.3/library/coinduction.pl |
| /usr/lib64/swipl-7.2.3/library/console_input.pl |
| /usr/lib64/swipl-7.2.3/library/cql |
| /usr/lib64/swipl-7.2.3/library/cql/cql.pl |
| /usr/lib64/swipl-7.2.3/library/cql/cql_autoschema.pl |
| /usr/lib64/swipl-7.2.3/library/cql/cql_database.pl |
| /usr/lib64/swipl-7.2.3/library/cql/cql_hooks.pl |
| /usr/lib64/swipl-7.2.3/library/cql/sql_keywords.pl |
| /usr/lib64/swipl-7.2.3/library/cql/sql_parser.pl |
| /usr/lib64/swipl-7.2.3/library/cql/sql_tokenizer.pl |
| /usr/lib64/swipl-7.2.3/library/cql/sql_write.pl |
| /usr/lib64/swipl-7.2.3/library/crypt.pl |
| /usr/lib64/swipl-7.2.3/library/csv.pl |
| /usr/lib64/swipl-7.2.3/library/ctypes.pl |
| /usr/lib64/swipl-7.2.3/library/date.pl |
| /usr/lib64/swipl-7.2.3/library/dcg |
| /usr/lib64/swipl-7.2.3/library/dcg/basics.pl |
| /usr/lib64/swipl-7.2.3/library/debug.pl |
| /usr/lib64/swipl-7.2.3/library/dialect |
| /usr/lib64/swipl-7.2.3/library/dialect.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/bim.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/aggregates.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/assertions.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/basicmodes.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/classic.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/dcg.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/attributes.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/basic_props.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/basiccontrol.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/exceptions.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/exceptions_db.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/hiord_rt.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/internals.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/io_aux.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/file_utils.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/format.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/freeze.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/hiord.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/hiordlib.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/iso_misc.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/isomodes.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/lists.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/llists.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/nativeprops.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/nortchecks.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/odd.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/prolog_flags.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/read.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/regtypes |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/regtypes.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/regtypes/regtypes_tr.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/sockets.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/sort.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/streams.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/strings.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/system.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/terms.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/terms_check.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/terms_vars.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/unittestdecls.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/unittestprops.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ciao/write.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/commons.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/eclipse |
| /usr/lib64/swipl-7.2.3/library/dialect/eclipse/test_util_iso.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/hprolog |
| /usr/lib64/swipl-7.2.3/library/dialect/hprolog.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/hprolog/format.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/ifprolog |
| /usr/lib64/swipl-7.2.3/library/dialect/ifprolog.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/iso |
| /usr/lib64/swipl-7.2.3/library/dialect/iso/iso_predicates.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus/arrays.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus/block.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus/lists.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus/sockets.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus/swipl-lfr.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus/system.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus/terms.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/sicstus/timeout.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/swi |
| /usr/lib64/swipl-7.2.3/library/dialect/swi/syspred_options.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/yap |
| /usr/lib64/swipl-7.2.3/library/dialect/yap.pl |
| /usr/lib64/swipl-7.2.3/library/dialect/yap/README.TXT |
| /usr/lib64/swipl-7.2.3/library/dif.pl |
| /usr/lib64/swipl-7.2.3/library/doc_files.pl |
| /usr/lib64/swipl-7.2.3/library/doc_http.pl |
| /usr/lib64/swipl-7.2.3/library/doc_latex.pl |
| /usr/lib64/swipl-7.2.3/library/double_metaphone.pl |
| /usr/lib64/swipl-7.2.3/library/edinburgh.pl |
| /usr/lib64/swipl-7.2.3/library/edit.pl |
| /usr/lib64/swipl-7.2.3/library/error.pl |
| /usr/lib64/swipl-7.2.3/library/explain.pl |
| /usr/lib64/swipl-7.2.3/library/fastrw.pl |
| /usr/lib64/swipl-7.2.3/library/files.pl |
| /usr/lib64/swipl-7.2.3/library/filesex.pl |
| /usr/lib64/swipl-7.2.3/library/gensym.pl |
| /usr/lib64/swipl-7.2.3/library/git.pl |
| /usr/lib64/swipl-7.2.3/library/heaps.pl |
| /usr/lib64/swipl-7.2.3/library/help.pl |
| /usr/lib64/swipl-7.2.3/library/helpidx.pl |
| /usr/lib64/swipl-7.2.3/library/hotfix.pl |
| /usr/lib64/swipl-7.2.3/library/http |
| /usr/lib64/swipl-7.2.3/library/http/INDEX.pl |
| /usr/lib64/swipl-7.2.3/library/http/README |
| /usr/lib64/swipl-7.2.3/library/http/ax.pl |
| /usr/lib64/swipl-7.2.3/library/http/dcg_basics.pl |
| /usr/lib64/swipl-7.2.3/library/http/html_head.pl |
| /usr/lib64/swipl-7.2.3/library/http/html_quasiquotations.pl |
| /usr/lib64/swipl-7.2.3/library/http/html_write.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_authenticate.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_client.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_cookie.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_cors.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_dirindex.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_dispatch.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_error.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_exception.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_files.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_header.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_hook.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_host.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_json.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_load.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_log.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_mime_plugin.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_multipart_plugin.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_open.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_openid.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_parameters.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_path.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_proxy.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_pwp.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_server_files.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_session.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_sgml_plugin.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_ssl_plugin.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_stream.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_unix_daemon.pl |
| /usr/lib64/swipl-7.2.3/library/http/http_wrapper.pl |
| /usr/lib64/swipl-7.2.3/library/http/hub.pl |
| /usr/lib64/swipl-7.2.3/library/http/inetd_httpd.pl |
| /usr/lib64/swipl-7.2.3/library/http/jquery.pl |
| /usr/lib64/swipl-7.2.3/library/http/js_grammar.pl |
| /usr/lib64/swipl-7.2.3/library/http/js_write.pl |
| /usr/lib64/swipl-7.2.3/library/http/json.pl |
| /usr/lib64/swipl-7.2.3/library/http/json_convert.pl |
| /usr/lib64/swipl-7.2.3/library/http/mimepack.pl |
| /usr/lib64/swipl-7.2.3/library/http/mimetype.pl |
| /usr/lib64/swipl-7.2.3/library/http/term_html.pl |
| /usr/lib64/swipl-7.2.3/library/http/thread_httpd.pl |
| /usr/lib64/swipl-7.2.3/library/http/web |
| /usr/lib64/swipl-7.2.3/library/http/web/css |
| /usr/lib64/swipl-7.2.3/library/http/web/css/dirindex.css |
| /usr/lib64/swipl-7.2.3/library/http/web/css/openid.css |
| /usr/lib64/swipl-7.2.3/library/http/web/css/plterm.css |
| /usr/lib64/swipl-7.2.3/library/http/web/icons |
| /usr/lib64/swipl-7.2.3/library/http/web/icons/back.png |
| /usr/lib64/swipl-7.2.3/library/http/web/icons/c.png |
| /usr/lib64/swipl-7.2.3/library/http/web/icons/compressed.png |
| /usr/lib64/swipl-7.2.3/library/http/web/icons/folder.png |
| /usr/lib64/swipl-7.2.3/library/http/web/icons/generic.png |
| /usr/lib64/swipl-7.2.3/library/http/web/icons/layout.png |
| /usr/lib64/swipl-7.2.3/library/http/web/icons/openid-logo-square.png |
| /usr/lib64/swipl-7.2.3/library/http/web/icons/openid-logo-tiny.png |
| /usr/lib64/swipl-7.2.3/library/http/web/js |
| /usr/lib64/swipl-7.2.3/library/http/web/js/jquery-1.11.3.min.js |
| /usr/lib64/swipl-7.2.3/library/http/web/js/pengines.js |
| /usr/lib64/swipl-7.2.3/library/http/websocket.pl |
| /usr/lib64/swipl-7.2.3/library/http/xpce_httpd.pl |
| /usr/lib64/swipl-7.2.3/library/http/yadis.pl |
| /usr/lib64/swipl-7.2.3/library/iostream.pl |
| /usr/lib64/swipl-7.2.3/library/iso_639.pl |
| /usr/lib64/swipl-7.2.3/library/isub.pl |
| /usr/lib64/swipl-7.2.3/library/listing.pl |
| /usr/lib64/swipl-7.2.3/library/lists.pl |
| /usr/lib64/swipl-7.2.3/library/main.pl |
| /usr/lib64/swipl-7.2.3/library/make.pl |
| /usr/lib64/swipl-7.2.3/library/memfile.pl |
| /usr/lib64/swipl-7.2.3/library/mime.pl |
| /usr/lib64/swipl-7.2.3/library/modules.pl |
| /usr/lib64/swipl-7.2.3/library/nb_rbtrees.pl |
| /usr/lib64/swipl-7.2.3/library/nb_set.pl |
| /usr/lib64/swipl-7.2.3/library/occurs.pl |
| /usr/lib64/swipl-7.2.3/library/operators.pl |
| /usr/lib64/swipl-7.2.3/library/option.pl |
| /usr/lib64/swipl-7.2.3/library/optparse.pl |
| /usr/lib64/swipl-7.2.3/library/ordsets.pl |
| /usr/lib64/swipl-7.2.3/library/oset.pl |
| /usr/lib64/swipl-7.2.3/library/pairs.pl |
| /usr/lib64/swipl-7.2.3/library/pdt_console.pl |
| /usr/lib64/swipl-7.2.3/library/pengines.pl |
| /usr/lib64/swipl-7.2.3/library/pengines_io.pl |
| /usr/lib64/swipl-7.2.3/library/persistency.pl |
| /usr/lib64/swipl-7.2.3/library/pio.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc |
| /usr/lib64/swipl-7.2.3/library/pldoc.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/README |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_access.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_colour.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_html.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_htmlsrc.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_index.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_library.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_man.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_modes.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_pack.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_process.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_register.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_search.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_util.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/doc_wiki.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/edit.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/editpred.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/favicon.ico |
| /usr/lib64/swipl-7.2.3/library/pldoc/h1-bg.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/h2-bg.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/hooks.pl |
| /usr/lib64/swipl-7.2.3/library/pldoc/multi-bg.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/pldoc.css |
| /usr/lib64/swipl-7.2.3/library/pldoc/pldoc.js |
| /usr/lib64/swipl-7.2.3/library/pldoc/pldoc.sty |
| /usr/lib64/swipl-7.2.3/library/pldoc/pllisting.css |
| /usr/lib64/swipl-7.2.3/library/pldoc/priv-bg.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/private.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/pub-bg.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/public.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/reload.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/source.png |
| /usr/lib64/swipl-7.2.3/library/pldoc/up.gif |
| /usr/lib64/swipl-7.2.3/library/plunit.pl |
| /usr/lib64/swipl-7.2.3/library/porter_stem.pl |
| /usr/lib64/swipl-7.2.3/library/portray_text.pl |
| /usr/lib64/swipl-7.2.3/library/pprint.pl |
| /usr/lib64/swipl-7.2.3/library/predicate_options.pl |
| /usr/lib64/swipl-7.2.3/library/process.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_autoload.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_breakpoints.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_clause.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_codewalk.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_colour.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_format.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_history.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_install.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_metainference.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_pack.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_server.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_source.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_stack.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_stream.pl |
| /usr/lib64/swipl-7.2.3/library/prolog_xref.pl |
| /usr/lib64/swipl-7.2.3/library/protobufs.pl |
| /usr/lib64/swipl-7.2.3/library/pure_input.pl |
| /usr/lib64/swipl-7.2.3/library/pwp.pl |
| /usr/lib64/swipl-7.2.3/library/qpforeign.pl |
| /usr/lib64/swipl-7.2.3/library/qsave.pl |
| /usr/lib64/swipl-7.2.3/library/quasi_quotations.pl |
| /usr/lib64/swipl-7.2.3/library/quintus.pl |
| /usr/lib64/swipl-7.2.3/library/random.pl |
| /usr/lib64/swipl-7.2.3/library/rbtrees.pl |
| /usr/lib64/swipl-7.2.3/library/rdf.pl |
| /usr/lib64/swipl-7.2.3/library/rdf_ntriples.pl |
| /usr/lib64/swipl-7.2.3/library/rdf_parser.pl |
| /usr/lib64/swipl-7.2.3/library/rdf_triple.pl |
| /usr/lib64/swipl-7.2.3/library/rdf_write.pl |
| /usr/lib64/swipl-7.2.3/library/readln.pl |
| /usr/lib64/swipl-7.2.3/library/readutil.pl |
| /usr/lib64/swipl-7.2.3/library/record.pl |
| /usr/lib64/swipl-7.2.3/library/rewrite.pl |
| /usr/lib64/swipl-7.2.3/library/rlimit.pl |
| /usr/lib64/swipl-7.2.3/library/sandbox.pl |
| /usr/lib64/swipl-7.2.3/library/semweb |
| /usr/lib64/swipl-7.2.3/library/semweb/INDEX.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/README |
| /usr/lib64/swipl-7.2.3/library/semweb/dc.rdfs |
| /usr/lib64/swipl-7.2.3/library/semweb/eor.rdfs |
| /usr/lib64/swipl-7.2.3/library/semweb/owl.owl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_cache.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_compare.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_db.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_edit.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_http_plugin.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_library.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_library.ttl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_litindex.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_ntriples.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_persistency.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_portray.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_turtle.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_turtle_write.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdf_zlib_plugin.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdfa.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdfs.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/rdfs.rdfs |
| /usr/lib64/swipl-7.2.3/library/semweb/sparql_client.pl |
| /usr/lib64/swipl-7.2.3/library/semweb/turtle.pl |
| /usr/lib64/swipl-7.2.3/library/settings.pl |
| /usr/lib64/swipl-7.2.3/library/sgml.pl |
| /usr/lib64/swipl-7.2.3/library/sgml_write.pl |
| /usr/lib64/swipl-7.2.3/library/sha.pl |
| /usr/lib64/swipl-7.2.3/library/shell.pl |
| /usr/lib64/swipl-7.2.3/library/shlib.pl |
| /usr/lib64/swipl-7.2.3/library/snowball.pl |
| /usr/lib64/swipl-7.2.3/library/socket.pl |
| /usr/lib64/swipl-7.2.3/library/solution_sequences.pl |
| /usr/lib64/swipl-7.2.3/library/sort.pl |
| /usr/lib64/swipl-7.2.3/library/statistics.pl |
| /usr/lib64/swipl-7.2.3/library/streaminfo.pl |
| /usr/lib64/swipl-7.2.3/library/streampool.pl |
| /usr/lib64/swipl-7.2.3/library/syslog.pl |
| /usr/lib64/swipl-7.2.3/library/system.pl |
| /usr/lib64/swipl-7.2.3/library/table.pl |
| /usr/lib64/swipl-7.2.3/library/table_util.pl |
| /usr/lib64/swipl-7.2.3/library/term_to_json.pl |
| /usr/lib64/swipl-7.2.3/library/terms.pl |
| /usr/lib64/swipl-7.2.3/library/test_cover.pl |
| /usr/lib64/swipl-7.2.3/library/test_wizard.pl |
| /usr/lib64/swipl-7.2.3/library/thread.pl |
| /usr/lib64/swipl-7.2.3/library/thread_pool.pl |
| /usr/lib64/swipl-7.2.3/library/threadutil.pl |
| /usr/lib64/swipl-7.2.3/library/time.pl |
| /usr/lib64/swipl-7.2.3/library/tipc |
| /usr/lib64/swipl-7.2.3/library/tipc/tipc.pl |
| /usr/lib64/swipl-7.2.3/library/tipc/tipc_broadcast.pl |
| /usr/lib64/swipl-7.2.3/library/tipc/tipc_linda.pl |
| /usr/lib64/swipl-7.2.3/library/tipc/tipc_overview.txt |
| /usr/lib64/swipl-7.2.3/library/tipc/tipc_paxos.pl |
| /usr/lib64/swipl-7.2.3/library/tty.pl |
| /usr/lib64/swipl-7.2.3/library/udp_broadcast.pl |
| /usr/lib64/swipl-7.2.3/library/ugraphs.pl |
| /usr/lib64/swipl-7.2.3/library/uid.pl |
| /usr/lib64/swipl-7.2.3/library/unicode |
| /usr/lib64/swipl-7.2.3/library/unicode.pl |
| /usr/lib64/swipl-7.2.3/library/unicode/blocks.pl |
| /usr/lib64/swipl-7.2.3/library/unicode/unicode_data.pl |
| /usr/lib64/swipl-7.2.3/library/unix.pl |
| /usr/lib64/swipl-7.2.3/library/uri.pl |
| /usr/lib64/swipl-7.2.3/library/url.pl |
| /usr/lib64/swipl-7.2.3/library/utf8.pl |
| /usr/lib64/swipl-7.2.3/library/varnumbers.pl |
| /usr/lib64/swipl-7.2.3/library/vm.pl |
| /usr/lib64/swipl-7.2.3/library/when.pl |
| /usr/lib64/swipl-7.2.3/library/win_menu.pl |
| /usr/lib64/swipl-7.2.3/library/writef.pl |
| /usr/lib64/swipl-7.2.3/library/www_browser.pl |
| /usr/lib64/swipl-7.2.3/library/xpath.pl |
| /usr/lib64/swipl-7.2.3/library/xsdp_types.pl |
| /usr/lib64/swipl-7.2.3/library/zlib.pl |
| /usr/lib64/swipl-7.2.3/swipl-win.rc |
| /usr/lib64/swipl-7.2.3/swipl.home |
| /usr/lib64/swipl-7.2.3/swipl.rc |
| /usr/lib64/swipl-7.2.3/xpce |
| /usr/share/doc/swi-prolog-nox |
| /usr/share/doc/swi-prolog-nox/README |
| /usr/share/doc/swi-prolog-nox/VERSION |