Packages / Fedora 44 / Unspecified / swi-prolog-core-packages
Package: swi-prolog-core-packages (10.0.2-1.fc44)
[Project overview: swi-prolog]
External Resources:
Homepage: [www.swi-prolog.org]
Similar packages:
- [swi-prolog]
ISO/Edinburgh-style Prolog interpreter
- [swi-prolog-bdb]
SWI-Prolog Berkeley DB interface
- [swi-prolog-cli]
ISO/Edinburgh-style Prolog interpreter - command line interface
- [swi-prolog-core]
ISO/Edinburgh-style Prolog interpreter - core system
- [swi-prolog-doc]
Documentation and examples for SWI-Prolog
- [swi-prolog-full]
ISO/Edinburgh-style Prolog interpreter - full suite
- [swi-prolog-java]
Bidirectional interface between SWI-Prolog and Java
- [swi-prolog-odbc]
SWI-Prolog ODBC interface
- [swi-prolog-test]
Tests and checks for SWI-Prolog
- [swi-prolog-win]
ISO/Edinburgh-style Prolog interpreter - with GUI support
ISO/Edinburgh-style Prolog interpreter - core packages
Other Packages Related to swi-prolog-core-packages:
dep: /usr/bin/sh
Package not available
dep: /usr/bin/swipl
Package not available
dep: [js-jquery]
JavaScript DOM manipulation, event handling, and AJAX library
dep: ld-linux-aarch64.so.1()(64bit)
Package not available
dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
Package not available
dep: libcrypt.so.2()(64bit)
Package not available
dep: libcrypt.so.2(XCRYPT_2.0)(64bit)
Package not available
dep: libgcc_s.so.1()(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.0)(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.3.1)(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libm.so.6(GLIBC_2.17)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.29)(64bit)
Package not available
dep: libossp-uuid.so.16()(64bit)
Package not available
dep: libpython3.14.so.1.0()(64bit)
Package not available
dep: libstdc++.so.6()(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.15)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.9)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
Package not available
dep: libstemmer.so.0()(64bit)
Package not available
dep: rtld(GNU_HASH)
Package not available
dep: swi-prolog-core(aarch-64) (= 10.0.2-1.fc44)
Package not available
dep: [texlive-base]
TeX formatting system
dep: libc.so.6(GLIBC_2.34)(64bit)
Package not available
rec: swi-prolog-bdb(aarch-64) (= 10.0.2-1.fc44)
Package not available
rec: [swi-prolog-doc] (= 10.0.2-1.fc44)
Documentation and examples for SWI-Prolog
rec: swi-prolog-java(aarch-64) (= 10.0.2-1.fc44)
Package not available
rec: swi-prolog-odbc(aarch-64) (= 10.0.2-1.fc44)
Package not available
Download swi-prolog-core-packages
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| aarch64 | 2.3 MiB | 12 MiB | [list of files] |
| x86_64 | 2.3 MiB | 10 MiB | [list of files] |
Package file paths (821)
Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.
- /usr/lib64/swipl/bin/latex2html
- /usr/lib64/swipl/include/SWI-cpp2-atommap.h
- /usr/lib64/swipl/include/SWI-cpp2.cpp
- /usr/lib64/swipl/include/SWI-cpp2.h
- /usr/lib64/swipl/include/SWI-cpp2-plx.h
- /usr/lib64/swipl/include/SWI-cpp.h
- /usr/lib64/swipl/lib
- /usr/lib64/swipl/lib/aarch64-linux
- /usr/lib64/swipl/lib/aarch64-linux/cgi.so
- /usr/lib64/swipl/lib/aarch64-linux/crypt.so
- /usr/lib64/swipl/lib/aarch64-linux/double_metaphone.so
- /usr/lib64/swipl/lib/aarch64-linux/files.so
- /usr/lib64/swipl/lib/aarch64-linux/hashstream.so
- /usr/lib64/swipl/lib/aarch64-linux/http_stream.so
- /usr/lib64/swipl/lib/aarch64-linux/inclpr.so
- /usr/lib64/swipl/lib/aarch64-linux/isub.so
- /usr/lib64/swipl/lib/aarch64-linux/janus.so
- /usr/lib64/swipl/lib/aarch64-linux/json.so
- /usr/lib64/swipl/lib/aarch64-linux/mallocinfo.so
- /usr/lib64/swipl/lib/aarch64-linux/md54pl.so
- /usr/lib64/swipl/lib/aarch64-linux/memfile.so
- /usr/lib64/swipl/lib/aarch64-linux/ntriples.so
- /usr/lib64/swipl/lib/aarch64-linux/pdt_console.so
- /usr/lib64/swipl/lib/aarch64-linux/porter_stem.so
- /usr/lib64/swipl/lib/aarch64-linux/process.so
- /usr/lib64/swipl/lib/aarch64-linux/prolog_stream.so
- /usr/lib64/swipl/lib/aarch64-linux/protobufs.so
- /usr/lib64/swipl/lib/aarch64-linux/rdf_db.so
- /usr/lib64/swipl/lib/aarch64-linux/readutil.so
- /usr/lib64/swipl/lib/aarch64-linux/redis4pl.so
- /usr/lib64/swipl/lib/aarch64-linux/rlimit.so
- /usr/lib64/swipl/lib/aarch64-linux/sched.so
- /usr/lib64/swipl/lib/aarch64-linux/sgml2pl.so
- /usr/lib64/swipl/lib/aarch64-linux/sha4pl.so
- /usr/lib64/swipl/lib/aarch64-linux/snowball.so
- /usr/lib64/swipl/lib/aarch64-linux/socket.so
- /usr/lib64/swipl/lib/aarch64-linux/streaminfo.so
- /usr/lib64/swipl/lib/aarch64-linux/sweep-module.so
- /usr/lib64/swipl/lib/aarch64-linux/syslog.so
- /usr/lib64/swipl/lib/aarch64-linux/table.so
- /usr/lib64/swipl/lib/aarch64-linux/test_cpp.so
- /usr/lib64/swipl/lib/aarch64-linux/test_ffi.so
- /usr/lib64/swipl/lib/aarch64-linux/tex.so
- /usr/lib64/swipl/lib/aarch64-linux/time.so
- /usr/lib64/swipl/lib/aarch64-linux/turtle.so
- /usr/lib64/swipl/lib/aarch64-linux/uid.so
- /usr/lib64/swipl/lib/aarch64-linux/unicode4pl.so
- /usr/lib64/swipl/lib/aarch64-linux/unix.so
- /usr/lib64/swipl/lib/aarch64-linux/uri.so
- /usr/lib64/swipl/lib/aarch64-linux/uuid.so
- /usr/lib64/swipl/lib/aarch64-linux/websocket.so
- /usr/lib64/swipl/lib/aarch64-linux/zlib4pl.so
- /usr/lib64/swipl/library/ext
- /usr/lib64/swipl/library/ext/chr
- /usr/lib64/swipl/library/ext/chr/chr
- /usr/lib64/swipl/library/ext/chr/chr/a_star.pl
- /usr/lib64/swipl/library/ext/chr/chr/a_star.qlf
- /usr/lib64/swipl/library/ext/chr/chr/binomialheap.pl
- /usr/lib64/swipl/library/ext/chr/chr/binomialheap.qlf
- /usr/lib64/swipl/library/ext/chr/chr/builtins.pl
- /usr/lib64/swipl/library/ext/chr/chr/builtins.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_compiler_errors.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_compiler_errors.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_compiler_options.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_compiler_options.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_compiler_utility.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_compiler_utility.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_debug.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_debug.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_hashtable_store.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_hashtable_store.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_integertable_store.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_integertable_store.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_messages.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_messages.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_op.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_op.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_runtime.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_runtime.qlf
- /usr/lib64/swipl/library/ext/chr/chr/chr_translate.pl
- /usr/lib64/swipl/library/ext/chr/chr/chr_translate.qlf
- /usr/lib64/swipl/library/ext/chr/chr/clean_code.pl
- /usr/lib64/swipl/library/ext/chr/chr/clean_code.qlf
- /usr/lib64/swipl/library/ext/chr/chr/find.pl
- /usr/lib64/swipl/library/ext/chr/chr/find.qlf
- /usr/lib64/swipl/library/ext/chr/chr/guard_entailment.pl
- /usr/lib64/swipl/library/ext/chr/chr/guard_entailment.qlf
- /usr/lib64/swipl/library/ext/chr/chr/listmap.pl
- /usr/lib64/swipl/library/ext/chr/chr/listmap.qlf
- /usr/lib64/swipl/library/ext/chr/chr/pairlist.pl
- /usr/lib64/swipl/library/ext/chr/chr/pairlist.qlf
- /usr/lib64/swipl/library/ext/chr/chr.pl
- /usr/lib64/swipl/library/ext/chr/chr.qlf
- /usr/lib64/swipl/library/ext/clib
- /usr/lib64/swipl/library/ext/clib/cgi.pl
- /usr/lib64/swipl/library/ext/clib/cgi.qlf
- /usr/lib64/swipl/library/ext/clib/crypt.pl
- /usr/lib64/swipl/library/ext/clib/crypt.qlf
- /usr/lib64/swipl/library/ext/clib/filesex.pl
- /usr/lib64/swipl/library/ext/clib/filesex.qlf
- /usr/lib64/swipl/library/ext/clib/hash_stream.pl
- /usr/lib64/swipl/library/ext/clib/hash_stream.qlf
- /usr/lib64/swipl/library/ext/clib/INDEX.pl
- /usr/lib64/swipl/library/ext/clib/mallocinfo.pl
- /usr/lib64/swipl/library/ext/clib/mallocinfo.qlf
- /usr/lib64/swipl/library/ext/clib/md5.pl
- /usr/lib64/swipl/library/ext/clib/md5.qlf
- /usr/lib64/swipl/library/ext/clib/memfile.pl
- /usr/lib64/swipl/library/ext/clib/memfile.qlf
- /usr/lib64/swipl/library/ext/clib/process.pl
- /usr/lib64/swipl/library/ext/clib/process.qlf
- /usr/lib64/swipl/library/ext/clib/prolog_server.pl
- /usr/lib64/swipl/library/ext/clib/prolog_server.qlf
- /usr/lib64/swipl/library/ext/clib/prolog_stream.pl
- /usr/lib64/swipl/library/ext/clib/prolog_stream.qlf
- /usr/lib64/swipl/library/ext/clib/rlimit.pl
- /usr/lib64/swipl/library/ext/clib/rlimit.qlf
- /usr/lib64/swipl/library/ext/clib/sched.pl
- /usr/lib64/swipl/library/ext/clib/sched.qlf
- /usr/lib64/swipl/library/ext/clib/sha.pl
- /usr/lib64/swipl/library/ext/clib/sha.qlf
- /usr/lib64/swipl/library/ext/clib/socket.pl
- /usr/lib64/swipl/library/ext/clib/socket.qlf
- /usr/lib64/swipl/library/ext/clib/streaminfo.pl
- /usr/lib64/swipl/library/ext/clib/streaminfo.qlf
- /usr/lib64/swipl/library/ext/clib/streampool.pl
- /usr/lib64/swipl/library/ext/clib/streampool.qlf
- /usr/lib64/swipl/library/ext/clib/syslog.pl
- /usr/lib64/swipl/library/ext/clib/syslog.qlf
- /usr/lib64/swipl/library/ext/clib/time.pl
- /usr/lib64/swipl/library/ext/clib/time.qlf
- /usr/lib64/swipl/library/ext/clib/udp_broadcast.pl
- /usr/lib64/swipl/library/ext/clib/udp_broadcast.qlf
- /usr/lib64/swipl/library/ext/clib/uid.pl
- /usr/lib64/swipl/library/ext/clib/uid.qlf
- /usr/lib64/swipl/library/ext/clib/unix.pl
- /usr/lib64/swipl/library/ext/clib/unix.qlf
- /usr/lib64/swipl/library/ext/clib/uri.pl
- /usr/lib64/swipl/library/ext/clib/uri.qlf
- /usr/lib64/swipl/library/ext/clib/uuid.pl
- /usr/lib64/swipl/library/ext/clib/uuid.qlf
- /usr/lib64/swipl/library/ext/clpqr
- /usr/lib64/swipl/library/ext/clpqr/clpq
- /usr/lib64/swipl/library/ext/clpqr/clpq/bb_q.pl
- /usr/lib64/swipl/library/ext/clpqr/clpq/bb_q.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpq/bv_q.pl
- /usr/lib64/swipl/library/ext/clpqr/clpq/bv_q.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpq/fourmotz_q.pl
- /usr/lib64/swipl/library/ext/clpqr/clpq/fourmotz_q.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpq/ineq_q.pl
- /usr/lib64/swipl/library/ext/clpqr/clpq/ineq_q.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpq/itf_q.pl
- /usr/lib64/swipl/library/ext/clpqr/clpq/itf_q.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpq/nf_q.pl
- /usr/lib64/swipl/library/ext/clpqr/clpq/nf_q.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpq.pl
- /usr/lib64/swipl/library/ext/clpqr/clpq.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpqr
- /usr/lib64/swipl/library/ext/clpqr/clpqr/class.pl
- /usr/lib64/swipl/library/ext/clpqr/clpqr/class.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpqr/dump.pl
- /usr/lib64/swipl/library/ext/clpqr/clpqr/dump.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpqr/geler.pl
- /usr/lib64/swipl/library/ext/clpqr/clpqr/geler.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpqr/highlight.pl
- /usr/lib64/swipl/library/ext/clpqr/clpqr/highlight.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpqr/itf.pl
- /usr/lib64/swipl/library/ext/clpqr/clpqr/itf.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpqr/ordering.pl
- /usr/lib64/swipl/library/ext/clpqr/clpqr/ordering.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpqr/project.pl
- /usr/lib64/swipl/library/ext/clpqr/clpqr/project.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpqr/redund.pl
- /usr/lib64/swipl/library/ext/clpqr/clpqr/redund.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpq/store_q.pl
- /usr/lib64/swipl/library/ext/clpqr/clpq/store_q.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpr
- /usr/lib64/swipl/library/ext/clpqr/clpr/bb_r.pl
- /usr/lib64/swipl/library/ext/clpqr/clpr/bb_r.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpr/bv_r.pl
- /usr/lib64/swipl/library/ext/clpqr/clpr/bv_r.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpr/fourmotz_r.pl
- /usr/lib64/swipl/library/ext/clpqr/clpr/fourmotz_r.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpr/ineq_r.pl
- /usr/lib64/swipl/library/ext/clpqr/clpr/ineq_r.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpr/itf_r.pl
- /usr/lib64/swipl/library/ext/clpqr/clpr/itf_r.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpr/nf_r.pl
- /usr/lib64/swipl/library/ext/clpqr/clpr/nf_r.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpr.pl
- /usr/lib64/swipl/library/ext/clpqr/clpr.qlf
- /usr/lib64/swipl/library/ext/clpqr/clpr/store_r.pl
- /usr/lib64/swipl/library/ext/clpqr/clpr/store_r.qlf
- /usr/lib64/swipl/library/ext/http
- /usr/lib64/swipl/library/ext/http/http
- /usr/lib64/swipl/library/ext/http/http/ax.pl
- /usr/lib64/swipl/library/ext/http/http/ax.qlf
- /usr/lib64/swipl/library/ext/http/http/dcg_basics.pl
- /usr/lib64/swipl/library/ext/http/http/graphql.pl
- /usr/lib64/swipl/library/ext/http/http/graphql.qlf
- /usr/lib64/swipl/library/ext/http/http/html_decl.pl
- /usr/lib64/swipl/library/ext/http/http/html_decl.qlf
- /usr/lib64/swipl/library/ext/http/http/html_head.pl
- /usr/lib64/swipl/library/ext/http/http/html_head.qlf
- /usr/lib64/swipl/library/ext/http/http/html_quasiquotations.pl
- /usr/lib64/swipl/library/ext/http/http/html_quasiquotations.qlf
- /usr/lib64/swipl/library/ext/http/http/html_write.pl
- /usr/lib64/swipl/library/ext/http/http/html_write.qlf
- /usr/lib64/swipl/library/ext/http/http/htmx.pl
- /usr/lib64/swipl/library/ext/http/http/htmx.qlf
- /usr/lib64/swipl/library/ext/http/http/http_authenticate.pl
- /usr/lib64/swipl/library/ext/http/http/http_authenticate.qlf
- /usr/lib64/swipl/library/ext/http/http/http_client.pl
- /usr/lib64/swipl/library/ext/http/http/http_client.qlf
- /usr/lib64/swipl/library/ext/http/http/http_cookie.pl
- /usr/lib64/swipl/library/ext/http/http/http_cookie.qlf
- /usr/lib64/swipl/library/ext/http/http/http_cors.pl
- /usr/lib64/swipl/library/ext/http/http/http_cors.qlf
- /usr/lib64/swipl/library/ext/http/http/http_digest.pl
- /usr/lib64/swipl/library/ext/http/http/http_digest.qlf
- /usr/lib64/swipl/library/ext/http/http/http_dirindex.pl
- /usr/lib64/swipl/library/ext/http/http/http_dirindex.qlf
- /usr/lib64/swipl/library/ext/http/http/http_dispatch.pl
- /usr/lib64/swipl/library/ext/http/http/http_dispatch.qlf
- /usr/lib64/swipl/library/ext/http/http/http_dyn_workers.pl
- /usr/lib64/swipl/library/ext/http/http/http_dyn_workers.qlf
- /usr/lib64/swipl/library/ext/http/http/http_error.pl
- /usr/lib64/swipl/library/ext/http/http/http_error.qlf
- /usr/lib64/swipl/library/ext/http/http/http_exception.pl
- /usr/lib64/swipl/library/ext/http/http/http_exception.qlf
- /usr/lib64/swipl/library/ext/http/http/http_files.pl
- /usr/lib64/swipl/library/ext/http/http/http_files.qlf
- /usr/lib64/swipl/library/ext/http/http/http_header.pl
- /usr/lib64/swipl/library/ext/http/http/http_header.qlf
- /usr/lib64/swipl/library/ext/http/http/http_hook.pl
- /usr/lib64/swipl/library/ext/http/http/http_hook.qlf
- /usr/lib64/swipl/library/ext/http/http/http_host.pl
- /usr/lib64/swipl/library/ext/http/http/http_host.qlf
- /usr/lib64/swipl/library/ext/http/http/http_load.pl
- /usr/lib64/swipl/library/ext/http/http/http_load.qlf
- /usr/lib64/swipl/library/ext/http/http/http_log.pl
- /usr/lib64/swipl/library/ext/http/http/http_log.qlf
- /usr/lib64/swipl/library/ext/http/http/http_multipart_plugin.pl
- /usr/lib64/swipl/library/ext/http/http/http_multipart_plugin.qlf
- /usr/lib64/swipl/library/ext/http/http/http_openid.pl
- /usr/lib64/swipl/library/ext/http/http/http_openid.qlf
- /usr/lib64/swipl/library/ext/http/http/http_open.pl
- /usr/lib64/swipl/library/ext/http/http/http_open.qlf
- /usr/lib64/swipl/library/ext/http/http/http_parameters.pl
- /usr/lib64/swipl/library/ext/http/http/http_parameters.qlf
Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
