Fedora 44 native package

swi-prolog-doc

Documentation and examples for SWI-Prolog

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

[Source: pl]

Package: swi-prolog-doc (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]
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-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

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] (= 10.0.2-1.fc44)
ISO/Edinburgh-style Prolog interpreter - core system

Download swi-prolog-doc

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

Package file paths (508)

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-10.0.2.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/exceptions.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/tableutil.html
/usr/share/swipl/doc/Manual/tabling-about.html
/usr/share/swipl/doc/Manual/tabling-constraints.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

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try Fedora 44 in the browser Build an image that includes swi-prolog-doc

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
10.0.2-1.fc44	44 / everything	noarch	Fedora 44 · Everything · x86_64	4.7 MiB	11 MiB	Packages/s/swi-prolog-doc-10.0.2-1.fc44.noarch.rpm
10.0.2-1.fc44	44 / everything	noarch	Fedora 44 · Everything · aarch64	4.7 MiB	11 MiB	Packages/s/swi-prolog-doc-10.0.2-1.fc44.noarch.rpm

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

Checksums and observation dates

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.

10.0.2-1.fc44 / 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: b20c160c5ac74be038260fddf130d0279e250e986927a53c22005ad160cbd5ed

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

printf '%s  %s\n' 'b20c160c5ac74be038260fddf130d0279e250e986927a53c22005ad160cbd5ed' 'swi-prolog-doc-10.0.2-1.fc44.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 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

10.0.2-1.fc44 / 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: b20c160c5ac74be038260fddf130d0279e250e986927a53c22005ad160cbd5ed

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

printf '%s  %s\n' 'b20c160c5ac74be038260fddf130d0279e250e986927a53c22005ad160cbd5ed' 'swi-prolog-doc-10.0.2-1.fc44.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 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

Catalog record completeness

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 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee, Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Sources and provenance

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 44 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
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-44&arch=aarch64
Signed-object SHA-256
236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
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 44 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
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-44&arch=x86_64
Signed-object SHA-256
1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
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