Linux workstation

Debian 13 (Trixie) native package

swi-prolog-core

ISO/Edinburgh-style Prolog interpreter - core system

Packages / Debian 13 (Trixie) / interpreters / swi-prolog-core

[Source: swi-prolog]

Package: swi-prolog-core (9.2.9+dfsg-1+b1)

Maintainers:

Lev Lamberov

External Resources:

Homepage: [www.swi-prolog.org]

Similar packages:

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

Download swi-prolog-core

ArchitecturePackage SizeInstalled SizeFiles
amd641.4 MiB5.7 MiB[list of files]
arm641.4 MiB5.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

Usar este pacote

O OpenFactory pode iniciar este sistema operacional em uma máquina virtual do navegador, ou começar uma construção que inclui o nome nativo do pacote deste registro.

Versões, suites e repositórios

Cada linha é metadado do índice de pacotes para uma versão, arquitetura, suite e repositório. Nomes, URLs e tamanhos vêm da fonte; um link é um ponto de obtenção mutável, não uma redistribuição da OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
9.2.9+dfsg-1+b1trixie / mainamd64Debian 13 · main · amd641.4 MiB5.7 MiBpool/main/s/swi-prolog/swi-prolog-core_9.2.9+dfsg-1+b1_amd64.deb
9.2.9+dfsg-1trixie / mainarm64Debian 13 · main · arm641.4 MiB5.8 MiBpool/main/s/swi-prolog/swi-prolog-core_9.2.9+dfsg-1_arm64.deb

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

Checksums e datas de observação

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

9.2.9+dfsg-1+b1 / amd64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 7ca42a11c922aefac7ec1215f890c0cb8e5b16f27c65bc368a486ab991a69bbc

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' '7ca42a11c922aefac7ec1215f890c0cb8e5b16f27c65bc368a486ab991a69bbc' 'swi-prolog-core_9.2.9+dfsg-1+b1_amd64.deb' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

9.2.9+dfsg-1 / arm64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: e64f6d6eb209ff9ea21aa2a6b7707a9e5f9887e789c0eb65118352158a04696c

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' 'e64f6d6eb209ff9ea21aa2a6b7707a9e5f9887e789c0eb65118352158a04696c' 'swi-prolog-core_9.2.9+dfsg-1_arm64.deb' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908

Completude do registro

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
0/5
Source package or maintainer
10/10

Recorded total: 95/100

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3, Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fontes e proveniência

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • Authoritative source; repository metadata signature verified, revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
    Signer fingerprint
    4CB50190207B4758A3F73A796ED0E7B82643E131
    Keyring revision
    debian-archive-keyring.gpg
    SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: main/binary-amd64/Packages.xz
    Expected SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
    Observed SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
    Result: match verified

  • Authoritative source; repository metadata signature verified, revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
    Signer fingerprint
    4CB50190207B4758A3F73A796ED0E7B82643E131
    Keyring revision
    debian-archive-keyring.gpg
    SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: main/binary-arm64/Packages.xz
    Expected SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
    Observed SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
    Result: match verified

swi-prolog-core Package for Debian 13 (Trixie) | OpenFactory