Linux workstation

Debian 12 (Bookworm) native package

swi-prolog-core

ISO/Edinburgh-style Prolog interpreter - core system

Packages / Debian 12 (Bookworm) / interpreters / swi-prolog-core

[Source: swi-prolog]

Package: swi-prolog-core (9.0.4+dfsg-2)

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.2.1+dfsg1)

    Multiprecision arithmetic library

  • dep: [libtcmalloc-minimal4] (>= 2.10)

    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.4 MiB[list of files]
arm641.3 MiB5.5 MiB[list of files]

Percorsi file del pacchetto (263)

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.0.4
  • /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/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/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_debug.pl
  • /usr/lib/swi-prolog/library/prolog_deps.pl
  • /usr/lib/swi-prolog/library/prolog_format.pl
  • /usr/lib/swi-prolog/library/prolog_history.pl
  • /usr/lib/swi-prolog/library/prolog_install.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_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/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
  • /usr/lib/swi-prolog/library/utf8.pl
  • /usr/lib/swi-prolog/library/varnumbers.pl
  • /usr/lib/swi-prolog/library/vm.pl
  • /usr/lib/swi-prolog/library/wfs.pl
  • /usr/lib/swi-prolog/library/when.pl
  • /usr/lib/swi-prolog/library/writef.pl
  • /usr/lib/swi-prolog/library/www_browser.pl
  • /usr/lib/swi-prolog/library/yall.pl

Field source: Debian 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
9.0.4+dfsg-2bookworm / mainamd64Debian 12 · main · amd641.4 MiB5.4 MiBpool/main/s/swi-prolog/swi-prolog-core_9.0.4+dfsg-2_amd64.deb
9.0.4+dfsg-2bookworm / mainarm64Debian 12 · main · arm641.3 MiB5.5 MiBpool/main/s/swi-prolog/swi-prolog-core_9.0.4+dfsg-2_arm64.deb

Field source: Debian 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

Checksum e date di osservazione

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.0.4+dfsg-2 / 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: 6a6cf6baf16a912311badee31b184d5678f5a8b223fe71601ce6d96853da9c70

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

printf '%s %s\n' '6a6cf6baf16a912311badee31b184d5678f5a8b223fe71601ce6d96853da9c70' 'swi-prolog-core_9.0.4+dfsg-2_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 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

9.0.4+dfsg-2 / 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: f97591605ea99087d0597d4b77da947da2659773d7ebb1ae59011dc2ff0f2504

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

printf '%s %s\n' 'f97591605ea99087d0597d4b77da947da2659773d7ebb1ae59011dc2ff0f2504' 'swi-prolog-core_9.0.4+dfsg-2_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 12 (Bookworm) main arm64 revision bookworm-main-arm64:2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00

Completezza del record

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 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5, Debian 12 (Bookworm) main arm64 revision bookworm-main-arm64:2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

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 bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

    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
    77737fa4b34f2693e982cc9ee35736816c35a7778fc2d326cc1bbf5b301fe1aa
    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: 9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5
    Observed SHA-256: 9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5
    Result: match verified

  • Authoritative source; repository metadata signature verified, revision bookworm-main-arm64:2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00

    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
    77737fa4b34f2693e982cc9ee35736816c35a7778fc2d326cc1bbf5b301fe1aa
    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: 2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00
    Observed SHA-256: 2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00
    Result: match verified

swi-prolog-core Package for Debian 12 (Bookworm) | OpenFactory