Packages / Fedora 44 / Unspecified / swi-prolog-core
Package: swi-prolog-core (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-packages]
ISO/Edinburgh-style Prolog interpreter - core packages
- [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 system
Other Packages Related to swi-prolog-core:
dep: /usr/bin/pkg-config
Package not available
dep: /usr/bin/sh
Package not available
dep: cmake-filesystem(aarch-64)
Package not available
dep: ld-linux-aarch64.so.1()(64bit)
Package not available
dep: ld-linux-aarch64.so.1(GLIBC_2.17)(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: libgmp.so.10()(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.23)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.29)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.43)(64bit)
Package not available
dep: libtinfo.so.6()(64bit)
Package not available
dep: libz-ng.so.2()(64bit)
Package not available
dep: libz-ng.so.2(ZLIB_NG_2.0.0)(64bit)
Package not available
dep: libz-ng.so.2(ZLIB_NG_2.1.0)(64bit)
Package not available
dep: rtld(GNU_HASH)
Package not available
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-core-packages(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
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| aarch64 | 2.1 MiB | 7.0 MiB | [list of files] |
| x86_64 | 2.2 MiB | 6.9 MiB | [list of files] |
Шляхи файлів пакета (504)
Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.
- /usr/bin/swipl
- /usr/bin/swipl-ld
- /usr/lib64/cmake/swipl
- /usr/lib64/cmake/swipl/SWIPLConfig.cmake
- /usr/lib64/cmake/swipl/SWIPLConfigVersion.cmake
- /usr/lib64/cmake/swipl/SWIPLTargets.cmake
- /usr/lib64/cmake/swipl/SWIPLTargets-release.cmake
- /usr/lib64/libswipl.so
- /usr/lib64/libswipl.so.10
- /usr/lib64/libswipl.so.10.0.2
- /usr/lib64/swipl
- /usr/lib64/swipl/ABI
- /usr/lib64/swipl/bin
- /usr/lib64/swipl/bin/aarch64-linux
- /usr/lib64/swipl/bin/aarch64-linux/swipl
- /usr/lib64/swipl/bin/aarch64-linux/swipl-ld
- /usr/lib64/swipl/bin/swipl.home
- /usr/lib64/swipl/bin/x86_64-linux
- /usr/lib64/swipl/bin/x86_64-linux/swipl
- /usr/lib64/swipl/bin/x86_64-linux/swipl-ld
- /usr/lib64/swipl/boot
- /usr/lib64/swipl/boot/apply.pl
- /usr/lib64/swipl/boot/attvar.pl
- /usr/lib64/swipl/boot/autoload.pl
- /usr/lib64/swipl/boot/bags.pl
- /usr/lib64/swipl/boot/dcg.pl
- /usr/lib64/swipl/boot/dicts.pl
- /usr/lib64/swipl/boot/dwim.pl
- /usr/lib64/swipl/boot/engines.pl
- /usr/lib64/swipl/boot/expand.pl
- /usr/lib64/swipl/boot/gc.pl
- /usr/lib64/swipl/boot/history.pl
- /usr/lib64/swipl/boot/init.pl
- /usr/lib64/swipl/boot/iri.pl
- /usr/lib64/swipl/boot/license.pl
- /usr/lib64/swipl/boot/load.pl
- /usr/lib64/swipl/boot/messages.pl
- /usr/lib64/swipl/boot/packs.pl
- /usr/lib64/swipl/boot.prc
- /usr/lib64/swipl/boot/predopts.pl
- /usr/lib64/swipl/boot/qlf.pl
- /usr/lib64/swipl/boot/rc.pl
- /usr/lib64/swipl/boot/syspred.pl
- /usr/lib64/swipl/boot/tabling.pl
- /usr/lib64/swipl/boot/threads.pl
- /usr/lib64/swipl/boot/toplevel.pl
- /usr/lib64/swipl/boot/topvars.pl
- /usr/lib64/swipl/cmake
- /usr/lib64/swipl/cmake/swipl.cmake
- /usr/lib64/swipl/customize
- /usr/lib64/swipl/customize/edit
- /usr/lib64/swipl/customize/init.pl
- /usr/lib64/swipl/demo
- /usr/lib64/swipl/demo/likes.pl
- /usr/lib64/swipl/demo/README.md
- /usr/lib64/swipl/include
- /usr/lib64/swipl/include/sicstus
- /usr/lib64/swipl/include/sicstus/sicstus.h
- /usr/lib64/swipl/include/SWI-Prolog.h
- /usr/lib64/swipl/include/SWI-Stream.h
- /usr/lib64/swipl/include/Yap
- /usr/lib64/swipl/include/Yap/YapInterface.h
- /usr/lib64/swipl/library
- /usr/lib64/swipl/library/aggregate.pl
- /usr/lib64/swipl/library/aggregate.qlf
- /usr/lib64/swipl/library/ansi_term.pl
- /usr/lib64/swipl/library/ansi_term.qlf
- /usr/lib64/swipl/library/apply_macros.pl
- /usr/lib64/swipl/library/apply_macros.qlf
- /usr/lib64/swipl/library/apply.pl
- /usr/lib64/swipl/library/apply.qlf
- /usr/lib64/swipl/library/arithmetic.pl
- /usr/lib64/swipl/library/arithmetic.qlf
- /usr/lib64/swipl/library/assoc.pl
- /usr/lib64/swipl/library/assoc.qlf
- /usr/lib64/swipl/library/atom.pl
- /usr/lib64/swipl/library/atom.qlf
- /usr/lib64/swipl/library/backcomp.pl
- /usr/lib64/swipl/library/backcomp.qlf
- /usr/lib64/swipl/library/base32.pl
- /usr/lib64/swipl/library/base32.qlf
- /usr/lib64/swipl/library/base64.pl
- /usr/lib64/swipl/library/base64.qlf
- /usr/lib64/swipl/library/broadcast.pl
- /usr/lib64/swipl/library/broadcast.qlf
- /usr/lib64/swipl/library/build
- /usr/lib64/swipl/library/build/cmake.pl
- /usr/lib64/swipl/library/build/cmake.qlf
- /usr/lib64/swipl/library/build/conan.pl
- /usr/lib64/swipl/library/build/conan.qlf
- /usr/lib64/swipl/library/build/make.pl
- /usr/lib64/swipl/library/build/make.qlf
- /usr/lib64/swipl/library/build/tools.pl
- /usr/lib64/swipl/library/build/tools.qlf
- /usr/lib64/swipl/library/charsio.pl
- /usr/lib64/swipl/library/charsio.qlf
- /usr/lib64/swipl/library/check_installation.pl
- /usr/lib64/swipl/library/check.pl
- /usr/lib64/swipl/library/check.qlf
- /usr/lib64/swipl/library/clp
- /usr/lib64/swipl/library/clp/bounds.pl
- /usr/lib64/swipl/library/clp/bounds.qlf
- /usr/lib64/swipl/library/clp/clpb.pl
- /usr/lib64/swipl/library/clp/clpb.qlf
- /usr/lib64/swipl/library/clp/clp_distinct.pl
- /usr/lib64/swipl/library/clp/clp_distinct.qlf
- /usr/lib64/swipl/library/clp/clp_events.pl
- /usr/lib64/swipl/library/clp/clp_events.qlf
- /usr/lib64/swipl/library/clp/clpfd.pl
- /usr/lib64/swipl/library/clp/clpfd.qlf
- /usr/lib64/swipl/library/clp/INDEX.pl
- /usr/lib64/swipl/library/clp/simplex.pl
- /usr/lib64/swipl/library/clp/simplex.qlf
- /usr/lib64/swipl/library/codesio.pl
- /usr/lib64/swipl/library/codesio.qlf
- /usr/lib64/swipl/library/coinduction.pl
- /usr/lib64/swipl/library/coinduction.qlf
- /usr/lib64/swipl/library/console_input.pl
- /usr/lib64/swipl/library/console_input.qlf
- /usr/lib64/swipl/library/csv.pl
- /usr/lib64/swipl/library/csv.qlf
- /usr/lib64/swipl/library/ctypes.pl
- /usr/lib64/swipl/library/ctypes.qlf
- /usr/lib64/swipl/library/date.pl
- /usr/lib64/swipl/library/date.qlf
- /usr/lib64/swipl/library/dcg
- /usr/lib64/swipl/library/dcg/basics.pl
- /usr/lib64/swipl/library/dcg/basics.qlf
- /usr/lib64/swipl/library/dcg/high_order.pl
- /usr/lib64/swipl/library/dcg/high_order.qlf
- /usr/lib64/swipl/library/dcg/INDEX.pl
- /usr/lib64/swipl/library/debug.pl
- /usr/lib64/swipl/library/debug.qlf
- /usr/lib64/swipl/library/dialect
- /usr/lib64/swipl/library/dialect/bim.pl
- /usr/lib64/swipl/library/dialect/bim.qlf
- /usr/lib64/swipl/library/dialect/commons.pl
- /usr/lib64/swipl/library/dialect/commons.qlf
- /usr/lib64/swipl/library/dialect/eclipse
- /usr/lib64/swipl/library/dialect/eclipse/test_util_iso.pl
- /usr/lib64/swipl/library/dialect/eclipse/test_util_iso.qlf
- /usr/lib64/swipl/library/dialect/hprolog
- /usr/lib64/swipl/library/dialect/hprolog/format.pl
- /usr/lib64/swipl/library/dialect/hprolog/format.qlf
- /usr/lib64/swipl/library/dialect/hprolog.pl
- /usr/lib64/swipl/library/dialect/hprolog.qlf
- /usr/lib64/swipl/library/dialect/ifprolog.pl
- /usr/lib64/swipl/library/dialect/ifprolog.qlf
- /usr/lib64/swipl/library/dialect/iso
- /usr/lib64/swipl/library/dialect/iso/iso_predicates.pl
- /usr/lib64/swipl/library/dialect/iso/iso_predicates.qlf
- /usr/lib64/swipl/library/dialect.pl
- /usr/lib64/swipl/library/dialect.qlf
- /usr/lib64/swipl/library/dialect/sicstus
- /usr/lib64/swipl/library/dialect/sicstus4
- /usr/lib64/swipl/library/dialect/sicstus4/aggregate.pl
- /usr/lib64/swipl/library/dialect/sicstus4/aggregate.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/between.pl
- /usr/lib64/swipl/library/dialect/sicstus4/between.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/clpfd.pl
- /usr/lib64/swipl/library/dialect/sicstus4/clpfd.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/file_systems.pl
- /usr/lib64/swipl/library/dialect/sicstus4/file_systems.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/lists.pl
- /usr/lib64/swipl/library/dialect/sicstus4/lists.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/ordsets.pl
- /usr/lib64/swipl/library/dialect/sicstus4/ordsets.qlf
- /usr/lib64/swipl/library/dialect/sicstus4.pl
- /usr/lib64/swipl/library/dialect/sicstus4.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/samsort.pl
- /usr/lib64/swipl/library/dialect/sicstus4/samsort.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/sets.pl
- /usr/lib64/swipl/library/dialect/sicstus4/sets.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/sockets.pl
- /usr/lib64/swipl/library/dialect/sicstus4/sockets.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/system.pl
- /usr/lib64/swipl/library/dialect/sicstus4/system.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/terms.pl
- /usr/lib64/swipl/library/dialect/sicstus4/terms.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/timeout.pl
- /usr/lib64/swipl/library/dialect/sicstus4/timeout.qlf
- /usr/lib64/swipl/library/dialect/sicstus4/types.pl
- /usr/lib64/swipl/library/dialect/sicstus4/types.qlf
- /usr/lib64/swipl/library/dialect/sicstus/arrays.pl
- /usr/lib64/swipl/library/dialect/sicstus/arrays.qlf
- /usr/lib64/swipl/library/dialect/sicstus/block.pl
- /usr/lib64/swipl/library/dialect/sicstus/block.qlf
- /usr/lib64/swipl/library/dialect/sicstus/lists.pl
- /usr/lib64/swipl/library/dialect/sicstus/lists.qlf
- /usr/lib64/swipl/library/dialect/sicstus/ordsets.pl
- /usr/lib64/swipl/library/dialect/sicstus/ordsets.qlf
- /usr/lib64/swipl/library/dialect/sicstus.pl
- /usr/lib64/swipl/library/dialect/sicstus.qlf
- /usr/lib64/swipl/library/dialect/sicstus/README.TXT
- /usr/lib64/swipl/library/dialect/sicstus/sockets.pl
- /usr/lib64/swipl/library/dialect/sicstus/sockets.qlf
- /usr/lib64/swipl/library/dialect/sicstus/system.pl
- /usr/lib64/swipl/library/dialect/sicstus/system.qlf
- /usr/lib64/swipl/library/dialect/sicstus/terms.pl
- /usr/lib64/swipl/library/dialect/sicstus/terms.qlf
- /usr/lib64/swipl/library/dialect/sicstus/timeout.pl
- /usr/lib64/swipl/library/dialect/sicstus/timeout.qlf
- /usr/lib64/swipl/library/dialect/swi
- /usr/lib64/swipl/library/dialect/swi/syspred_options.pl
- /usr/lib64/swipl/library/dialect/swi/syspred_options.qlf
- /usr/lib64/swipl/library/dialect/xsb
- /usr/lib64/swipl/library/dialect/xsb/basics.pl
- /usr/lib64/swipl/library/dialect/xsb/basics.qlf
- /usr/lib64/swipl/library/dialect/xsb/consult.pl
- /usr/lib64/swipl/library/dialect/xsb/consult.qlf
- /usr/lib64/swipl/library/dialect/xsb/curr_sym.pl
- /usr/lib64/swipl/library/dialect/xsb/curr_sym.qlf
- /usr/lib64/swipl/library/dialect/xsb/error_handler.pl
- /usr/lib64/swipl/library/dialect/xsb/error_handler.qlf
- /usr/lib64/swipl/library/dialect/xsb/gensym.pl
- /usr/lib64/swipl/library/dialect/xsb/gensym.qlf
- /usr/lib64/swipl/library/dialect/xsb/gpp.pl
- /usr/lib64/swipl/library/dialect/xsb/gpp.qlf
- /usr/lib64/swipl/library/dialect/xsb/intern.pl
- /usr/lib64/swipl/library/dialect/xsb/intern.qlf
- /usr/lib64/swipl/library/dialect/xsb/lists.pl
- /usr/lib64/swipl/library/dialect/xsb/lists.qlf
- /usr/lib64/swipl/library/dialect/xsb/machine.pl
- /usr/lib64/swipl/library/dialect/xsb/machine.qlf
- /usr/lib64/swipl/library/dialect/xsb/ordsets.pl
- /usr/lib64/swipl/library/dialect/xsb/ordsets.qlf
- /usr/lib64/swipl/library/dialect/xsb.pl
- /usr/lib64/swipl/library/dialect/xsb.qlf
- /usr/lib64/swipl/library/dialect/xsb/README.md
- /usr/lib64/swipl/library/dialect/xsb/setof.pl
- /usr/lib64/swipl/library/dialect/xsb/setof.qlf
- /usr/lib64/swipl/library/dialect/xsb/source.pl
- /usr/lib64/swipl/library/dialect/xsb/source.qlf
- /usr/lib64/swipl/library/dialect/xsb/standard.pl
- /usr/lib64/swipl/library/dialect/xsb/standard.qlf
- /usr/lib64/swipl/library/dialect/xsb/storage.pl
- /usr/lib64/swipl/library/dialect/xsb/storage.qlf
- /usr/lib64/swipl/library/dialect/xsb/string.pl
- /usr/lib64/swipl/library/dialect/xsb/string.qlf
- /usr/lib64/swipl/library/dialect/xsb/thread.pl
- /usr/lib64/swipl/library/dialect/xsb/thread.qlf
- /usr/lib64/swipl/library/dialect/xsb/timed_call.pl
- /usr/lib64/swipl/library/dialect/xsb/timed_call.qlf
- /usr/lib64/swipl/library/dialect/yap
- /usr/lib64/swipl/library/dialect/yap.pl
- /usr/lib64/swipl/library/dialect/yap.qlf
- /usr/lib64/swipl/library/dialect/yap/README.TXT
- /usr/lib64/swipl/library/dicts.pl
- /usr/lib64/swipl/library/dicts.qlf
- /usr/lib64/swipl/library/dif.pl
Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
