Fedora 43 native package

swi-prolog-doc

Documentation and examples for SWI-Prolog

Packages / Fedora 43 / Unspecified / swi-prolog-doc

[Source: pl]

Package: swi-prolog-doc (9.2.9-8.fc43)

[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-core]
ISO/Edinburgh-style Prolog interpreter - core system
[swi-prolog-core-packages]
ISO/Edinburgh-style Prolog interpreter - core packages
[swi-prolog-full]
ISO/Edinburgh-style Prolog interpreter - full suite
[swi-prolog-java]
Bidirectional interface between SWI-Prolog and Java
[swi-prolog-nox]
ISO/Edinburgh-style Prolog interpreter - without X support
[swi-prolog-odbc]
SWI-Prolog ODBC interface
[swi-prolog-test]
Tests and checks for SWI-Prolog
[swi-prolog-win]
SWI-Prolog GUI interface
[swi-prolog-x]
ISO/Edinburgh-style Prolog interpreter - with X support

Documentation and examples for SWI-Prolog

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it. SWI-Prolog additionally offers: * A powerful module system * Garbage collection * Unicode character set handling * Unbounted integer and rational number arithmetic * Multithreading support * A powerful C/C++ interface * GNU Readline interface This package provides documentation and examples.

Other Packages Related to swi-prolog-doc:

dep: /usr/bin/bash
Package not available
dep: /usr/bin/python3
Package not available
dep: /usr/bin/sh
Package not available
dep: /usr/bin/swipl
Package not available
dep: [swi-prolog-core] (= 9.2.9-8.fc43)
ISO/Edinburgh-style Prolog interpreter - core system

Download swi-prolog-doc

Architecture	Package Size	Installed Size	Files
noarch	4.8 MiB	11 MiB	[list of files]

Шляхи файлів пакета (504)

Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.

/usr/share/doc/swi-prolog-doc
/usr/share/doc/swi-prolog-doc/SWI-Prolog-9.2.9.pdf
/usr/share/swipl
/usr/share/swipl/doc
/usr/share/swipl/doc/manindex.db
/usr/share/swipl/doc/Manual
/usr/share/swipl/doc/Manual/32bits.html
/usr/share/swipl/doc/Manual/abi-versions.html
/usr/share/swipl/doc/Manual/acknowledge.html
/usr/share/swipl/doc/Manual/aggregate.html
/usr/share/swipl/doc/Manual/allsolutions.html
/usr/share/swipl/doc/Manual/altmoduleapi.html
/usr/share/swipl/doc/Manual/ancestral-cut.html
/usr/share/swipl/doc/Manual/ansiterm.html
/usr/share/swipl/doc/Manual/apply.html
/usr/share/swipl/doc/Manual/arith.html
/usr/share/swipl/doc/Manual/assoc.html
/usr/share/swipl/doc/Manual/attvar.html
/usr/share/swipl/doc/Manual/autoload.html
/usr/share/swipl/doc/Manual/basics.html
/usr/share/swipl/doc/Manual/Bibliography.html
/usr/share/swipl/doc/Manual/bidicts.html
/usr/share/swipl/doc/Manual/breakpoint.html
/usr/share/swipl/doc/Manual/broadcast.html
/usr/share/swipl/doc/Manual/broadcast.png
/usr/share/swipl/doc/Manual/builtin.html
/usr/share/swipl/doc/Manual/builtinlist.html
/usr/share/swipl/doc/Manual/builtin-statistics.html
/usr/share/swipl/doc/Manual/by-sa.png
/usr/share/swipl/doc/Manual/charconv.html
/usr/share/swipl/doc/Manual/chario.html
/usr/share/swipl/doc/Manual/chars.html
/usr/share/swipl/doc/Manual/charsio.html
/usr/share/swipl/doc/Manual/chartype.html
/usr/share/swipl/doc/Manual/check.html
/usr/share/swipl/doc/Manual/chr-compatibility.html
/usr/share/swipl/doc/Manual/chr-debugging.html
/usr/share/swipl/doc/Manual/chr-examples.html
/usr/share/swipl/doc/Manual/chr-guidelines.html
/usr/share/swipl/doc/Manual/chr.html
/usr/share/swipl/doc/Manual/chr-intro.html
/usr/share/swipl/doc/Manual/chr-syntaxandsemantics.html
/usr/share/swipl/doc/Manual/chr-warnings-and-errors.html
/usr/share/swipl/doc/Manual/clpb.html
/usr/share/swipl/doc/Manual/clpfd.html
/usr/share/swipl/doc/Manual/clp.html
/usr/share/swipl/doc/Manual/clpqr.html
/usr/share/swipl/doc/Manual/cmdline.html
/usr/share/swipl/doc/Manual/compare.html
/usr/share/swipl/doc/Manual/compilation.html
/usr/share/swipl/doc/Manual/consulting.html
/usr/share/swipl/doc/Manual/Contents.html
/usr/share/swipl/doc/Manual/contrib.html
/usr/share/swipl/doc/Manual/control.html
/usr/share/swipl/doc/Manual/coroutining.html
/usr/share/swipl/doc/Manual/csv.html
/usr/share/swipl/doc/Manual/ctxmodule.html
/usr/share/swipl/doc/Manual/cyclic.html
/usr/share/swipl/doc/Manual/db.html
/usr/share/swipl/doc/Manual/DCG.html
/usr/share/swipl/doc/Manual/DDE.html
/usr/share/swipl/doc/Manual/debug-deployed-systems.html
/usr/share/swipl/doc/Manual/debug-determinism.html
/usr/share/swipl/doc/Manual/debugger.html
/usr/share/swipl/doc/Manual/debug.html
/usr/share/swipl/doc/Manual/debugoverview.html
/usr/share/swipl/doc/Manual/defmodule.html
/usr/share/swipl/doc/Manual/delcont.html
/usr/share/swipl/doc/Manual/deployment-options.html
/usr/share/swipl/doc/Manual/dialect.html
/usr/share/swipl/doc/Manual/dialect-notes.html
/usr/share/swipl/doc/Manual/dicts.html
/usr/share/swipl/doc/Manual/DocIndex.html
/usr/share/swipl/doc/Manual/dynamic.html
/usr/share/swipl/doc/Manual/dynamic-modules.html
/usr/share/swipl/doc/Manual/edit.html
/usr/share/swipl/doc/Manual/editreload.html
/usr/share/swipl/doc/Manual/engine-examples.html
/usr/share/swipl/doc/Manual/engine-predicates.html
/usr/share/swipl/doc/Manual/engine-resources.html
/usr/share/swipl/doc/Manual/engines.html
/usr/share/swipl/doc/Manual/error.html
/usr/share/swipl/doc/Manual/examineprog.html
/usr/share/swipl/doc/Manual/excepthook.html
/usr/share/swipl/doc/Manual/exception3.html
/usr/share/swipl/doc/Manual/exception.html
/usr/share/swipl/doc/Manual/extensions.html
/usr/share/swipl/doc/Manual/ext-integration.html
/usr/share/swipl/doc/Manual/ext-issues.html
/usr/share/swipl/doc/Manual/ext-lists.html
/usr/share/swipl/doc/Manual/ext-syntax.html
/usr/share/swipl/doc/Manual/fastrw.html
/usr/share/swipl/doc/Manual/files.html
/usr/share/swipl/doc/Manual/findappfile.html
/usr/share/swipl/doc/Manual/findhome.html
/usr/share/swipl/doc/Manual/flags.html
/usr/share/swipl/doc/Manual/forall2.html
/usr/share/swipl/doc/Manual/foreign.html
/usr/share/swipl/doc/Manual/foreigninclude.html
/usr/share/swipl/doc/Manual/foreignlink.html
/usr/share/swipl/doc/Manual/foreignnotes.html
/usr/share/swipl/doc/Manual/foreignoverview.html
/usr/share/swipl/doc/Manual/foreign-streams.html
/usr/share/swipl/doc/Manual/foreignthread.html
/usr/share/swipl/doc/Manual/foreigntypes.html
/usr/share/swipl/doc/Manual/foreignxmp.html
/usr/share/swipl/doc/Manual/format.html
/usr/share/swipl/doc/Manual/funcsummary.html
/usr/share/swipl/doc/Manual/gemacs.html
/usr/share/swipl/doc/Manual/gensym.html
/usr/share/swipl/doc/Manual/glossary.html
/usr/share/swipl/doc/Manual/guitracer.html
/usr/share/swipl/doc/Manual/gvar.html
/usr/share/swipl/doc/Manual/hack.html
/usr/share/swipl/doc/Manual/heaps.html
/usr/share/swipl/doc/Manual/highorder.html
/usr/share/swipl/doc/Manual/history.html
/usr/share/swipl/doc/Manual/home.gif
/usr/share/swipl/doc/Manual/hooks.html
/usr/share/swipl/doc/Manual/IDE.html
/usr/share/swipl/doc/Manual/idepreds.html
/usr/share/swipl/doc/Manual/idesummary.html
/usr/share/swipl/doc/Manual/implhistory.html
/usr/share/swipl/doc/Manual/import.html
/usr/share/swipl/doc/Manual/importmodule.html
/usr/share/swipl/doc/Manual/increval.html
/usr/share/swipl/doc/Manual/index.gif
/usr/share/swipl/doc/Manual/index.html
/usr/share/swipl/doc/Manual/info.gif
/usr/share/swipl/doc/Manual/initfile.html
/usr/share/swipl/doc/Manual/initgoal.html
/usr/share/swipl/doc/Manual/intercept.html
/usr/share/swipl/doc/Manual/interrupt.html
/usr/share/swipl/doc/Manual/intlibs.html
/usr/share/swipl/doc/Manual/intro.html
/usr/share/swipl/doc/Manual/IO.html
/usr/share/swipl/doc/Manual/iostream.html
/usr/share/swipl/doc/Manual/jitindex.html
/usr/share/swipl/doc/Manual/libpl.html
/usr/share/swipl/doc/Manual/library.html
/usr/share/swipl/doc/Manual/license.html
/usr/share/swipl/doc/Manual/limits.html
/usr/share/swipl/doc/Manual/listing.html
/usr/share/swipl/doc/Manual/lists.html
/usr/share/swipl/doc/Manual/loadfilehook.html
/usr/share/swipl/doc/Manual/locale.html
/usr/share/swipl/doc/Manual/macros.html
/usr/share/swipl/doc/Manual/main.html
/usr/share/swipl/doc/Manual/manipatom.html
/usr/share/swipl/doc/Manual/manipmodule.html
/usr/share/swipl/doc/Manual/manipstack.html
/usr/share/swipl/doc/Manual/manipterm.html
/usr/share/swipl/doc/Manual/memory.html
/usr/share/swipl/doc/Manual/metacall.html
/usr/share/swipl/doc/Manual/metapred.html
/usr/share/swipl/doc/Manual/miscarith.html
/usr/share/swipl/doc/Manual/miscpreds.html
/usr/share/swipl/doc/Manual/module-autoload.html
/usr/share/swipl/doc/Manual/modulecompat.html
/usr/share/swipl/doc/Manual/moduleop.html
/usr/share/swipl/doc/Manual/modules.html
/usr/share/swipl/doc/Manual/mtoplevel.html
/usr/share/swipl/doc/Manual/mt-xpce.html
/usr/share/swipl/doc/Manual/navigator.html
/usr/share/swipl/doc/Manual/nb_set.html
/usr/share/swipl/doc/Manual/next.gif
/usr/share/swipl/doc/Manual/occurs.html
/usr/share/swipl/doc/Manual/online-help.html
/usr/share/swipl/doc/Manual/operators.html
/usr/share/swipl/doc/Manual/opsummary.html
/usr/share/swipl/doc/Manual/option.html
/usr/share/swipl/doc/Manual/optparse.html
/usr/share/swipl/doc/Manual/ordsets.html
/usr/share/swipl/doc/Manual/otherlicenses.html
/usr/share/swipl/doc/Manual/overrule.html
/usr/share/swipl/doc/Manual/overview.html
/usr/share/swipl/doc/Manual/pack-attach.html
/usr/share/swipl/doc/Manual/pack-devel.html
/usr/share/swipl/doc/Manual/pack-install.html
/usr/share/swipl/doc/Manual/packs.html
/usr/share/swipl/doc/Manual/pack-structure.html
/usr/share/swipl/doc/Manual/pairs.html
/usr/share/swipl/doc/Manual/pceemacs.html
/usr/share/swipl/doc/Manual/persistency.html
/usr/share/swipl/doc/Manual/pio.html
/usr/share/swipl/doc/Manual/plld.html
/usr/share/swipl/doc/Manual/portabilitystrategies.html
/usr/share/swipl/doc/Manual/portraytext.html
/usr/share/swipl/doc/Manual/practical.html
/usr/share/swipl/doc/Manual/preddesc.html
/usr/share/swipl/doc/Manual/predicate_options.html
/usr/share/swipl/doc/Manual/predsummary.html
/usr/share/swipl/doc/Manual/prev.gif
/usr/share/swipl/doc/Manual/printmsg.html
/usr/share/swipl/doc/Manual/profile.html
/usr/share/swipl/doc/Manual/profnode.png
/usr/share/swipl/doc/Manual/program-resources.html
/usr/share/swipl/doc/Manual/projectfiles.html
/usr/share/swipl/doc/Manual/prologcoverage.html
/usr/share/swipl/doc/Manual/prologdebug.html
/usr/share/swipl/doc/Manual/prolog-event.html
/usr/share/swipl/doc/Manual/prologjiti.html
/usr/share/swipl/doc/Manual/prologpack.html
/usr/share/swipl/doc/Manual/prologtrace.html
/usr/share/swipl/doc/Manual/prologversions.html
/usr/share/swipl/doc/Manual/prologxref.html
/usr/share/swipl/doc/Manual/protect-code.html
/usr/share/swipl/doc/Manual/protocol.html
/usr/share/swipl/doc/Manual/quasiquotations.html
/usr/share/swipl/doc/Manual/quickstart.html
/usr/share/swipl/doc/Manual/random.html
/usr/share/swipl/doc/Manual/rbtrees.html
/usr/share/swipl/doc/Manual/readutil.html
/usr/share/swipl/doc/Manual/record.html
/usr/share/swipl/doc/Manual/reexport.html
/usr/share/swipl/doc/Manual/registry.html
/usr/share/swipl/doc/Manual/resmodules.html
/usr/share/swipl/doc/Manual/runtime.html
/usr/share/swipl/doc/Manual/rwlocks.html
/usr/share/swipl/doc/Manual/saved-states.html
/usr/share/swipl/doc/Manual/settings.html
/usr/share/swipl/doc/Manual/signal.html
/usr/share/swipl/doc/Manual/simplex.html
/usr/share/swipl/doc/Manual/softlicense.html
/usr/share/swipl/doc/Manual/solutionsequences.html
/usr/share/swipl/doc/Manual/sponsor.html
/usr/share/swipl/doc/Manual/ssu.html
/usr/share/swipl/doc/Manual/state-initialization.html
/usr/share/swipl/doc/Manual/statistics.html
/usr/share/swipl/doc/Manual/status.html
/usr/share/swipl/doc/Manual/streamstat.html
/usr/share/swipl/doc/Manual/string.html
/usr/share/swipl/doc/Manual/strings.html
/usr/share/swipl/doc/Manual/summary.html
/usr/share/swipl/doc/Manual/swiorother.html
/usr/share/swipl/doc/Manual/swiprolog.html
/usr/share/swipl/doc/Manual/syntax.html
/usr/share/swipl/doc/Manual/system.html
/usr/share/swipl/doc/Manual/tables.html
/usr/share/swipl/doc/Manual/tabling-about.html
/usr/share/swipl/doc/Manual/tabling.html
/usr/share/swipl/doc/Manual/tabling-incremental.html
/usr/share/swipl/doc/Manual/tabling-memoize.html
/usr/share/swipl/doc/Manual/tabling-mode-directed.html
/usr/share/swipl/doc/Manual/tabling-monotonic.html
/usr/share/swipl/doc/Manual/tabling-non-termination.html
/usr/share/swipl/doc/Manual/tabling-preds.html
/usr/share/swipl/doc/Manual/tabling-restraints.html
/usr/share/swipl/doc/Manual/tabling-shared.html
/usr/share/swipl/doc/Manual/tabling-subsumptive.html

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати Fedora 43 у браузері Зібрати образ, що містить swi-prolog-doc

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
9.2.9-8.fc43	43 / everything	noarch	Fedora 43 · Everything · x86_64	4.8 MiB	11 MiB	Packages/s/swi-prolog-doc-9.2.9-8.fc43.noarch.rpm
9.2.9-8.fc43	43 / everything	noarch	Fedora 43 · Everything · aarch64	4.8 MiB	11 MiB	Packages/s/swi-prolog-doc-9.2.9-8.fc43.noarch.rpm

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

Контрольні суми й дати спостереження

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-8.fc43 / noarchObserved 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: 52c9b7b2eb003b4574fd9d9e62bed33c7c2780307691c79930a12b42f63d3480

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

printf '%s  %s\n' '52c9b7b2eb003b4574fd9d9e62bed33c7c2780307691c79930a12b42f63d3480' 'swi-prolog-doc-9.2.9-8.fc43.noarch.rpm' | sha256sum --check --strict -

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

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

9.2.9-8.fc43 / noarchObserved 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: 52c9b7b2eb003b4574fd9d9e62bed33c7c2780307691c79930a12b42f63d3480

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

printf '%s  %s\n' '52c9b7b2eb003b4574fd9d9e62bed33c7c2780307691c79930a12b42f63d3480' 'swi-prolog-doc-9.2.9-8.fc43.noarch.rpm' | sha256sum --check --strict -

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

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

Повнота запису каталогу

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: 5/5
Source package or maintainer: 10/10

Recorded total: 100/100

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2, Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Джерела та походження

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.

Fedora 43 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2
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
https://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=aarch64
Signed-object SHA-256
6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 43 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2
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
https://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=x86_64
Signed-object SHA-256
42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified