Packages / Debian 13 (Trixie) / interpreters / swi-prolog-core
Package: swi-prolog-core (9.2.9+dfsg-1+b1)
Maintainers:
External Resources:
Homepage: [www.swi-prolog.org]
Similar packages:
- [swi-prolog-bdb]
Berkeley DB interface for SWI-Prolog
- [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 suit
- [swi-prolog-java]
Bidirectional interface between SWI-Prolog and Java
- [swi-prolog-nox]
ISO/Edinburgh-style Prolog interpreter - without X support
- [swi-prolog-odbc]
ODBC library for SWI-Prolog
- [swi-prolog-test]
tests and checks for SWI-Prolog
- [swi-prolog-x]
User interface library for SWI-Prolog - with X support
ISO/Edinburgh-style Prolog interpreter - core system
Other Packages Related to swi-prolog-core:
dep: [libc6] (>= 2.34)
GNU C Library: Shared libraries
dep: [libgmp10] (>= 2:6.3.0+dfsg)
Multiprecision arithmetic library
dep: [libtcmalloc-minimal4t64] (>= 2.16)
efficient thread-caching malloc
dep: [libtinfo6] (>= 6)
shared low-level terminfo library for terminal handling
dep: [zlib1g] (>= 1:1.1.4)
compression library - runtime
rec: [debhelper]
helper programs for debian/rules
sug: [elpa-ediprolog]
Emacs Does Interactive Prolog
sug: [swi-prolog-core-packages] (= 9.2.9+dfsg-1+b1)
ISO/Edinburgh-style Prolog interpreter - core packages
sug: [swi-prolog-doc]
documentation and examples for SWI-Prolog
sug: [swi-prolog-java] (= 9.2.9+dfsg-1+b1)
Bidirectional interface between SWI-Prolog and Java
sug: [swi-prolog-odbc] (= 9.2.9+dfsg-1+b1)
ODBC library for SWI-Prolog
sug: [swi-prolog-bdb] (= 9.2.9+dfsg-1+b1)
Berkeley DB interface for SWI-Prolog
Download swi-prolog-core
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 1.4 MiB | 5.7 MiB | [list of files] |
| arm64 | 1.4 MiB | 5.8 MiB | [list of files] |
Caminhos de arquivo do pacote (272)
Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.
- /usr/bin/swipl
- /usr/bin/swipl-ld
- /usr/lib/aarch64-linux-gnu/libswipl.so
- /usr/lib/aarch64-linux-gnu/libswipl.so.9
- /usr/lib/aarch64-linux-gnu/libswipl.so.9.2.9
- /usr/lib/cmake/swipl/SWIPLConfig.cmake
- /usr/lib/cmake/swipl/SWIPLConfigVersion.cmake
- /usr/lib/cmake/swipl/SWIPLTargets.cmake
- /usr/lib/cmake/swipl/SWIPLTargets-deb.cmake
- /usr/lib/swi-prolog/app/app.pl
- /usr/lib/swi-prolog/app/pack.pl
- /usr/lib/swi-prolog/app/qlf.pl
- /usr/lib/swi-prolog/app/README.md
- /usr/lib/swi-prolog/bin/aarch64-linux/swipl
- /usr/lib/swi-prolog/bin/aarch64-linux/swipl-ld
- /usr/lib/swi-prolog/bin/swipl.home
- /usr/lib/swi-prolog/bin/x86_64-linux/swipl
- /usr/lib/swi-prolog/bin/x86_64-linux/swipl-ld
- /usr/lib/swi-prolog/boot/apply.pl
- /usr/lib/swi-prolog/boot/attvar.pl
- /usr/lib/swi-prolog/boot/autoload.pl
- /usr/lib/swi-prolog/boot/bags.pl
- /usr/lib/swi-prolog/boot/dcg.pl
- /usr/lib/swi-prolog/boot/dicts.pl
- /usr/lib/swi-prolog/boot/dwim.pl
- /usr/lib/swi-prolog/boot/engines.pl
- /usr/lib/swi-prolog/boot/expand.pl
- /usr/lib/swi-prolog/boot/gc.pl
- /usr/lib/swi-prolog/boot/history.pl
- /usr/lib/swi-prolog/boot/init.pl
- /usr/lib/swi-prolog/boot/iri.pl
- /usr/lib/swi-prolog/boot/license.pl
- /usr/lib/swi-prolog/boot/load.pl
- /usr/lib/swi-prolog/boot/messages.pl
- /usr/lib/swi-prolog/boot/packs.pl
- /usr/lib/swi-prolog/boot.prc
- /usr/lib/swi-prolog/boot/predopts.pl
- /usr/lib/swi-prolog/boot/qlf.pl
- /usr/lib/swi-prolog/boot/rc.pl
- /usr/lib/swi-prolog/boot/syspred.pl
- /usr/lib/swi-prolog/boot/tabling.pl
- /usr/lib/swi-prolog/boot/toplevel.pl
- /usr/lib/swi-prolog/boot/topvars.pl
- /usr/lib/swi-prolog/cmake/swipl.cmake
- /usr/lib/swi-prolog/customize/edit
- /usr/lib/swi-prolog/customize/init.pl
- /usr/lib/swi-prolog/customize/README.md
- /usr/lib/swi-prolog/demo/likes.pl
- /usr/lib/swi-prolog/demo/README.md
- /usr/lib/swi-prolog/include/sicstus/sicstus.h
- /usr/lib/swi-prolog/include/SWI-Prolog.h
- /usr/lib/swi-prolog/include/SWI-Stream.h
- /usr/lib/swi-prolog/include/Yap/YapInterface.h
- /usr/lib/swi-prolog/library/aggregate.pl
- /usr/lib/swi-prolog/library/ansi_term.pl
- /usr/lib/swi-prolog/library/apply_macros.pl
- /usr/lib/swi-prolog/library/apply.pl
- /usr/lib/swi-prolog/library/arithmetic.pl
- /usr/lib/swi-prolog/library/assoc.pl
- /usr/lib/swi-prolog/library/atom.pl
- /usr/lib/swi-prolog/library/backcomp.pl
- /usr/lib/swi-prolog/library/base32.pl
- /usr/lib/swi-prolog/library/base64.pl
- /usr/lib/swi-prolog/library/broadcast.pl
- /usr/lib/swi-prolog/library/build/cmake.pl
- /usr/lib/swi-prolog/library/build/conan.pl
- /usr/lib/swi-prolog/library/build/make.pl
- /usr/lib/swi-prolog/library/build/tools.pl
- /usr/lib/swi-prolog/library/charsio.pl
- /usr/lib/swi-prolog/library/check_installation.pl
- /usr/lib/swi-prolog/library/checklast.pl
- /usr/lib/swi-prolog/library/check.pl
- /usr/lib/swi-prolog/library/checkselect.pl
- /usr/lib/swi-prolog/library/clp/bounds.pl
- /usr/lib/swi-prolog/library/clp/clpb.pl
- /usr/lib/swi-prolog/library/clp/clp_distinct.pl
- /usr/lib/swi-prolog/library/clp/clp_events.pl
- /usr/lib/swi-prolog/library/clp/clpfd.pl
- /usr/lib/swi-prolog/library/clp/INDEX.pl
- /usr/lib/swi-prolog/library/clp/simplex.pl
- /usr/lib/swi-prolog/library/codesio.pl
- /usr/lib/swi-prolog/library/coinduction.pl
- /usr/lib/swi-prolog/library/console_input.pl
- /usr/lib/swi-prolog/library/csv.pl
- /usr/lib/swi-prolog/library/ctypes.pl
- /usr/lib/swi-prolog/library/date.pl
- /usr/lib/swi-prolog/library/dcg/basics.pl
- /usr/lib/swi-prolog/library/dcg/high_order.pl
- /usr/lib/swi-prolog/library/dcg/INDEX.pl
- /usr/lib/swi-prolog/library/debug.pl
- /usr/lib/swi-prolog/library/dialect/bim.pl
- /usr/lib/swi-prolog/library/dialect/commons.pl
- /usr/lib/swi-prolog/library/dialect/eclipse/test_util_iso.pl
- /usr/lib/swi-prolog/library/dialect/hprolog/format.pl
- /usr/lib/swi-prolog/library/dialect/hprolog.pl
- /usr/lib/swi-prolog/library/dialect/ifprolog.pl
- /usr/lib/swi-prolog/library/dialect/iso/iso_predicates.pl
- /usr/lib/swi-prolog/library/dialect.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/aggregate.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/between.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/clpfd.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/file_systems.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/lists.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/ordsets.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/samsort.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/sets.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/sockets.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/system.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/terms.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/timeout.pl
- /usr/lib/swi-prolog/library/dialect/sicstus4/types.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/arrays.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/block.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/lists.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/ordsets.pl
- /usr/lib/swi-prolog/library/dialect/sicstus.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/README.TXT
- /usr/lib/swi-prolog/library/dialect/sicstus/sockets.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/swipl-lfr.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/system.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/terms.pl
- /usr/lib/swi-prolog/library/dialect/sicstus/timeout.pl
- /usr/lib/swi-prolog/library/dialect/swi/syspred_options.pl
- /usr/lib/swi-prolog/library/dialect/xsb/basics.pl
- /usr/lib/swi-prolog/library/dialect/xsb/consult.pl
- /usr/lib/swi-prolog/library/dialect/xsb/curr_sym.pl
- /usr/lib/swi-prolog/library/dialect/xsb/error_handler.pl
- /usr/lib/swi-prolog/library/dialect/xsb/gensym.pl
- /usr/lib/swi-prolog/library/dialect/xsb/gpp.pl
- /usr/lib/swi-prolog/library/dialect/xsb/intern.pl
- /usr/lib/swi-prolog/library/dialect/xsb/lists.pl
- /usr/lib/swi-prolog/library/dialect/xsb/machine.pl
- /usr/lib/swi-prolog/library/dialect/xsb/ordsets.pl
- /usr/lib/swi-prolog/library/dialect/xsb.pl
- /usr/lib/swi-prolog/library/dialect/xsb/README.md
- /usr/lib/swi-prolog/library/dialect/xsb/setof.pl
- /usr/lib/swi-prolog/library/dialect/xsb/source.pl
- /usr/lib/swi-prolog/library/dialect/xsb/standard.pl
- /usr/lib/swi-prolog/library/dialect/xsb/storage.pl
- /usr/lib/swi-prolog/library/dialect/xsb/string.pl
- /usr/lib/swi-prolog/library/dialect/xsb/thread.pl
- /usr/lib/swi-prolog/library/dialect/xsb/timed_call.pl
- /usr/lib/swi-prolog/library/dialect/yap.pl
- /usr/lib/swi-prolog/library/dialect/yap/README.TXT
- /usr/lib/swi-prolog/library/dicts.pl
- /usr/lib/swi-prolog/library/dif.pl
- /usr/lib/swi-prolog/library/edinburgh.pl
- /usr/lib/swi-prolog/library/edit.pl
- /usr/lib/swi-prolog/library/error.pl
- /usr/lib/swi-prolog/library/explain.pl
- /usr/lib/swi-prolog/library/fastrw.pl
- /usr/lib/swi-prolog/library/files.pl
- /usr/lib/swi-prolog/library/gensym.pl
- /usr/lib/swi-prolog/library/git.pl
- /usr/lib/swi-prolog/library/hashtable.pl
- /usr/lib/swi-prolog/library/heaps.pl
- /usr/lib/swi-prolog/library/help.pl
- /usr/lib/swi-prolog/library/hotfix.pl
- /usr/lib/swi-prolog/library/increval.pl
- /usr/lib/swi-prolog/library/intercept.pl
- /usr/lib/swi-prolog/library/iostream.pl
- /usr/lib/swi-prolog/library/iri_scheme/file.pl
- /usr/lib/swi-prolog/library/lazy_lists.pl
- /usr/lib/swi-prolog/library/listing.pl
- /usr/lib/swi-prolog/library/lists.pl
- /usr/lib/swi-prolog/library/lynx/format.pl
- /usr/lib/swi-prolog/library/lynx/html_style.pl
- /usr/lib/swi-prolog/library/lynx/html_text.pl
- /usr/lib/swi-prolog/library/lynx/INDEX.pl
- /usr/lib/swi-prolog/library/lynx/pldoc_style.pl
- /usr/lib/swi-prolog/library/macros.pl
- /usr/lib/swi-prolog/library/main.pl
- /usr/lib/swi-prolog/library/make.pl
- /usr/lib/swi-prolog/library/modules.pl
- /usr/lib/swi-prolog/library/nb_rbtrees.pl
- /usr/lib/swi-prolog/library/nb_set.pl
- /usr/lib/swi-prolog/library/obfuscate.pl
- /usr/lib/swi-prolog/library/occurs.pl
- /usr/lib/swi-prolog/library/operators.pl
- /usr/lib/swi-prolog/library/option.pl
- /usr/lib/swi-prolog/library/optparse.pl
- /usr/lib/swi-prolog/library/ordsets.pl
- /usr/lib/swi-prolog/library/oset.pl
- /usr/lib/swi-prolog/library/pairs.pl
- /usr/lib/swi-prolog/library/persistency.pl
- /usr/lib/swi-prolog/library/pio.pl
- /usr/lib/swi-prolog/library/portray_text.pl
- /usr/lib/swi-prolog/library/pprint.pl
- /usr/lib/swi-prolog/library/predicate_options.pl
- /usr/lib/swi-prolog/library/prolog_autoload.pl
- /usr/lib/swi-prolog/library/prolog_breakpoints.pl
- /usr/lib/swi-prolog/library/prolog_clause.pl
- /usr/lib/swi-prolog/library/prolog_code.pl
- /usr/lib/swi-prolog/library/prolog_codewalk.pl
- /usr/lib/swi-prolog/library/prolog_colour.pl
- /usr/lib/swi-prolog/library/prolog_colour.qlf
- /usr/lib/swi-prolog/library/prolog_config.pl
- /usr/lib/swi-prolog/library/prolog_coverage.pl
- /usr/lib/swi-prolog/library/prolog_debug.pl
- /usr/lib/swi-prolog/library/prolog_deps.pl
- /usr/lib/swi-prolog/library/prolog_evaluable.pl
- /usr/lib/swi-prolog/library/prolog_format.pl
- /usr/lib/swi-prolog/library/prolog_history.pl
- /usr/lib/swi-prolog/library/prolog_jiti.pl
- /usr/lib/swi-prolog/library/prolog_metainference.pl
- /usr/lib/swi-prolog/library/prolog_pack.pl
- /usr/lib/swi-prolog/library/prolog_profile.pl
- /usr/lib/swi-prolog/library/prolog_source.pl
- /usr/lib/swi-prolog/library/prolog_stack.pl
- /usr/lib/swi-prolog/library/prolog_trace.pl
- /usr/lib/swi-prolog/library/prolog_versions.pl
- /usr/lib/swi-prolog/library/prolog_wrap.pl
- /usr/lib/swi-prolog/library/prolog_xref.pl
- /usr/lib/swi-prolog/library/prolog_xref.qlf
- /usr/lib/swi-prolog/library/pure_input.pl
- /usr/lib/swi-prolog/library/qpforeign.pl
- /usr/lib/swi-prolog/library/qsave.pl
- /usr/lib/swi-prolog/library/quasi_quotations.pl
- /usr/lib/swi-prolog/library/quintus.pl
- /usr/lib/swi-prolog/library/random.pl
- /usr/lib/swi-prolog/library/rbtrees.pl
- /usr/lib/swi-prolog/library/readln.pl
- /usr/lib/swi-prolog/library/readutil.pl
- /usr/lib/swi-prolog/library/record.pl
- /usr/lib/swi-prolog/library/rwlocks.pl
- /usr/lib/swi-prolog/library/sandbox.pl
- /usr/lib/swi-prolog/library/settings.pl
- /usr/lib/swi-prolog/library/shell.pl
- /usr/lib/swi-prolog/library/shlib.pl
- /usr/lib/swi-prolog/library/solution_sequences.pl
- /usr/lib/swi-prolog/library/sort.pl
- /usr/lib/swi-prolog/library/statistics.pl
- /usr/lib/swi-prolog/library/streams.pl
- /usr/lib/swi-prolog/library/strings.pl
- /usr/lib/swi-prolog/library/system.pl
- /usr/lib/swi-prolog/library/tables.pl
- /usr/lib/swi-prolog/library/tabling.pl
- /usr/lib/swi-prolog/library/terms.pl
- /usr/lib/swi-prolog/library/theme/auto.pl
- /usr/lib/swi-prolog/library/theme/dark.pl
- /usr/lib/swi-prolog/library/thread.pl
- /usr/lib/swi-prolog/library/thread_pool.pl
- /usr/lib/swi-prolog/library/threadutil.pl
- /usr/lib/swi-prolog/library/tty.pl
- /usr/lib/swi-prolog/library/ugraphs.pl
- /usr/lib/swi-prolog/library/unicode/blocks.pl
- /usr/lib/swi-prolog/library/unicode/INDEX.pl
- /usr/lib/swi-prolog/library/unicode/unicode_data.pl
- /usr/lib/swi-prolog/library/url.pl
Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
