Linux workstation

Fedora 44 native package

swi-prolog-test

Tests and checks for SWI-Prolog

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

[Source: pl]

Package: swi-prolog-test (10.0.2-1.fc44)

[Project overview: swi-prolog]

External Resources:

Homepage: [www.swi-prolog.org]

Similar packages:

Tests and checks 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 a set of prepared tests and checks for installed SWI-Prolog systems. This package is intended for SWI-Prolog development and is of no use for ordinary users. If you are not sure if you need this package, you do not.

Other Packages Related to swi-prolog-test:

  • dep: /usr/bin/sh

    Package not available

  • dep: [swi-prolog-cli] (= 10.0.2-1.fc44)

    ISO/Edinburgh-style Prolog interpreter - command line interface

Download swi-prolog-test

ArchitecturePackage SizeInstalled SizeFiles
noarch1.1 MiB6.3 MiB[list of files]

Caminhos de arquivo do pacote (1,568)

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

  • /usr/lib64/swipl/test
  • /usr/lib64/swipl/test/attvar
  • /usr/lib64/swipl/test/attvar/sendmoney.pl
  • /usr/lib64/swipl/test/attvar/test_attvar.pl
  • /usr/lib64/swipl/test/attvar/test_call_residue_vars.pl
  • /usr/lib64/swipl/test/attvar/test_dif.pl
  • /usr/lib64/swipl/test/charset
  • /usr/lib64/swipl/test/charset/utf8_test.pl
  • /usr/lib64/swipl/test/charset/UTF-8-test.txt
  • /usr/lib64/swipl/test/clp
  • /usr/lib64/swipl/test/clp/linprog.pl
  • /usr/lib64/swipl/test/cmake_pkg_tests.db
  • /usr/lib64/swipl/test/compile
  • /usr/lib64/swipl/test/compile/test_autoload.pl
  • /usr/lib64/swipl/test/COPYING
  • /usr/lib64/swipl/test/core
  • /usr/lib64/swipl/test/core/data
  • /usr/lib64/swipl/test/core/data/empty
  • /usr/lib64/swipl/test/core/test_acyclic.pl
  • /usr/lib64/swipl/test/core/test_answer.pl
  • /usr/lib64/swipl/test/core/test_arith.pl
  • /usr/lib64/swipl/test/core/test_bags.pl
  • /usr/lib64/swipl/test/core/test_bips.pl
  • /usr/lib64/swipl/test/core/test_body_index.pl
  • /usr/lib64/swipl/test/core/test_call.pl
  • /usr/lib64/swipl/test/core/test_code_type.pl
  • /usr/lib64/swipl/test/core/test_continuation.pl
  • /usr/lib64/swipl/test/core/test_copy_term.pl
  • /usr/lib64/swipl/test/core/test_coroutining.pl
  • /usr/lib64/swipl/test/core/test_dcg.pl
  • /usr/lib64/swipl/test/core/test_debug.pl
  • /usr/lib64/swipl/test/core/test_det_decl.pl
  • /usr/lib64/swipl/test/core/test_dict.pl
  • /usr/lib64/swipl/test/core/test_env.pl
  • /usr/lib64/swipl/test/core/test_exception.pl
  • /usr/lib64/swipl/test/core/test_expand.pl
  • /usr/lib64/swipl/test/core/test_factorize.pl
  • /usr/lib64/swipl/test/core/test_fastrw.pl
  • /usr/lib64/swipl/test/core/test_format.pl
  • /usr/lib64/swipl/test/core/test_gc.pl
  • /usr/lib64/swipl/test/core/test_hash.pl
  • /usr/lib64/swipl/test/core/test_inflimit.pl
  • /usr/lib64/swipl/test/core/test_io.pl
  • /usr/lib64/swipl/test/core/test_lco.pl
  • /usr/lib64/swipl/test/core/test_limit.pl
  • /usr/lib64/swipl/test/core/test_list.pl
  • /usr/lib64/swipl/test/core/test_locale.pl
  • /usr/lib64/swipl/test/core/test_meta_predicate.pl
  • /usr/lib64/swipl/test/core/test_misc.pl
  • /usr/lib64/swipl/test/core/test_moved_ubody.pl
  • /usr/lib64/swipl/test/core/test_occurs_check.pl
  • /usr/lib64/swipl/test/core/test_op.pl
  • /usr/lib64/swipl/test/core/test_prolog_flag.pl
  • /usr/lib64/swipl/test/core/test_prolog_listen.pl
  • /usr/lib64/swipl/test/core/test_qcall.pl
  • /usr/lib64/swipl/test/core/test_qq.pl
  • /usr/lib64/swipl/test/core/test_random.pl
  • /usr/lib64/swipl/test/core/test_read_attvar.pl
  • /usr/lib64/swipl/test/core/test_read.pl
  • /usr/lib64/swipl/test/core/test_resource_error.pl
  • /usr/lib64/swipl/test/core/test_scan_options.pl
  • /usr/lib64/swipl/test/core/test_signals.pl
  • /usr/lib64/swipl/test/core/test_skip_list.pl
  • /usr/lib64/swipl/test/core/test_sort.pl
  • /usr/lib64/swipl/test/core/test_string.pl
  • /usr/lib64/swipl/test/core/test_subsumes.pl
  • /usr/lib64/swipl/test/core/test_syntax.pl
  • /usr/lib64/swipl/test/core/test_term.pl
  • /usr/lib64/swipl/test/core/test_text.pl
  • /usr/lib64/swipl/test/core/test_time.pl
  • /usr/lib64/swipl/test/core/test_undo.pl
  • /usr/lib64/swipl/test/core/test_unicode.pl
  • /usr/lib64/swipl/test/core/test_unify.pl
  • /usr/lib64/swipl/test/core/test_varprops.pl
  • /usr/lib64/swipl/test/core/test_write.pl
  • /usr/lib64/swipl/test/db
  • /usr/lib64/swipl/test/db/test_abolish.pl
  • /usr/lib64/swipl/test/db/test_cgc.pl
  • /usr/lib64/swipl/test/db/test_db.pl
  • /usr/lib64/swipl/test/db/test_dbref.pl
  • /usr/lib64/swipl/test/db/test_jit.pl
  • /usr/lib64/swipl/test/db/test_module.pl
  • /usr/lib64/swipl/test/debug
  • /usr/lib64/swipl/test/debug/test_d_break.pl
  • /usr/lib64/swipl/test/debug/test_gtrace.pl
  • /usr/lib64/swipl/test/debug/test_interrupt.pl
  • /usr/lib64/swipl/test/debug/test_singleton.pl
  • /usr/lib64/swipl/test/debug/test_strace.pl
  • /usr/lib64/swipl/test/eclipse
  • /usr/lib64/swipl/test/eclipse/format_strings.tst
  • /usr/lib64/swipl/test/eclipse/format.tst
  • /usr/lib64/swipl/test/eclipse/string_tests.tst
  • /usr/lib64/swipl/test/eclipse/test_eclipse.pl
  • /usr/lib64/swipl/test/engines
  • /usr/lib64/swipl/test/engines/test_engines.pl
  • /usr/lib64/swipl/test/files
  • /usr/lib64/swipl/test/files/test_file_names.pl
  • /usr/lib64/swipl/test/files/test_files.pl
  • /usr/lib64/swipl/test/files/test_glob.pl
  • /usr/lib64/swipl/test/files/test_pipe.pl
  • /usr/lib64/swipl/test/foreign
  • /usr/lib64/swipl/test/foreign/hello.c
  • /usr/lib64/swipl/test/GC
  • /usr/lib64/swipl/test/GC/test_agc_copyterm.pl
  • /usr/lib64/swipl/test/GC/test_cgc_1.pl
  • /usr/lib64/swipl/test/GC/test_ch_shift.pl
  • /usr/lib64/swipl/test/GC/test_clause_gc.pl
  • /usr/lib64/swipl/test/GC/test_cleanup_shift.pl
  • /usr/lib64/swipl/test/GC/test_gc_1.pl
  • /usr/lib64/swipl/test/GC/test_gc_alt_clause.pl
  • /usr/lib64/swipl/test/GC/test_tracer_callback.pl
  • /usr/lib64/swipl/test/library
  • /usr/lib64/swipl/test/library/avl.pl
  • /usr/lib64/swipl/test/library/csv
  • /usr/lib64/swipl/test/library/csv/emptyline.csv
  • /usr/lib64/swipl/test/library/csv/normal.csv
  • /usr/lib64/swipl/test/library/csv/quoted_crlf.csv
  • /usr/lib64/swipl/test/library/csv/quoted.csv
  • /usr/lib64/swipl/test/library/csv/quoted_lf.csv
  • /usr/lib64/swipl/test/library/data
  • /usr/lib64/swipl/test/library/data/queens.pl
  • /usr/lib64/swipl/test/library/test_aggregate.pl
  • /usr/lib64/swipl/test/library/test_ansi_term.pl
  • /usr/lib64/swipl/test/library/test_apply.pl
  • /usr/lib64/swipl/test/library/test_arithfunc.pl
  • /usr/lib64/swipl/test/library/test_assoc.pl
  • /usr/lib64/swipl/test/library/test_csv.pl
  • /usr/lib64/swipl/test/library/test_date.pl
  • /usr/lib64/swipl/test/library/test_dcg_high_order.pl
  • /usr/lib64/swipl/test/library/test_error.pl
  • /usr/lib64/swipl/test/library/test_evaluable_property.pl
  • /usr/lib64/swipl/test/library/test_hash_table.pl
  • /usr/lib64/swipl/test/library/test_intercept.pl
  • /usr/lib64/swipl/test/library/test_lazy_lists.pl
  • /usr/lib64/swipl/test/library/test_lists.pl
  • /usr/lib64/swipl/test/library/test_main.pl
  • /usr/lib64/swipl/test/library/test_option.pl
  • /usr/lib64/swipl/test/library/test_ordsets.pl
  • /usr/lib64/swipl/test/library/test_pio.pl
  • /usr/lib64/swipl/test/library/test_prolog_clause.pl
  • /usr/lib64/swipl/test/library/test_prolog_colour.pl
  • /usr/lib64/swipl/test/library/test_rbtrees.pl
  • /usr/lib64/swipl/test/library/test_record.pl
  • /usr/lib64/swipl/test/library/test_settings.pl
  • /usr/lib64/swipl/test/library/test_solution_sequences.pl
  • /usr/lib64/swipl/test/library/test_source_info.pl
  • /usr/lib64/swipl/test/library/test_strings.pl
  • /usr/lib64/swipl/test/library/test_thread.pl
  • /usr/lib64/swipl/test/library/test_thread_pool.pl
  • /usr/lib64/swipl/test/library/test_tmp_module.pl
  • /usr/lib64/swipl/test/library/test_ugraphs.pl
  • /usr/lib64/swipl/test/library/test_unit.pl
  • /usr/lib64/swipl/test/library/test_url.pl
  • /usr/lib64/swipl/test/library/test_utf8.pl
  • /usr/lib64/swipl/test/library/test_varnumbers.pl
  • /usr/lib64/swipl/test/library/test_versions.pl
  • /usr/lib64/swipl/test/library/test_when.pl
  • /usr/lib64/swipl/test/library/test_yall.pl
  • /usr/lib64/swipl/test/packages
  • /usr/lib64/swipl/test/packages/archive
  • /usr/lib64/swipl/test/packages/archive/test_archive.pl
  • /usr/lib64/swipl/test/packages/bdb
  • /usr/lib64/swipl/test/packages/bdb/test_bdb.pl
  • /usr/lib64/swipl/test/packages/chr
  • /usr/lib64/swipl/test/packages/chr/test_chr.pl
  • /usr/lib64/swipl/test/packages/clib
  • /usr/lib64/swipl/test/packages/clib/test_af_unix.pl
  • /usr/lib64/swipl/test/packages/clib/test_cgi.pl
  • /usr/lib64/swipl/test/packages/clib/test_crypt.pl
  • /usr/lib64/swipl/test/packages/clib/test_filesex.pl
  • /usr/lib64/swipl/test/packages/clib/test_memfile.pl
  • /usr/lib64/swipl/test/packages/clib/test_process.pl
  • /usr/lib64/swipl/test/packages/clib/test_readutil.pl
  • /usr/lib64/swipl/test/packages/clib/test_socket.pl
  • /usr/lib64/swipl/test/packages/clib/test_stream.pl
  • /usr/lib64/swipl/test/packages/clib/test_time.pl
  • /usr/lib64/swipl/test/packages/clib/test_udp_sockets.pl
  • /usr/lib64/swipl/test/packages/clib/test_uri.pl
  • /usr/lib64/swipl/test/packages/clib/test_uuid.pl
  • /usr/lib64/swipl/test/packages/cpp
  • /usr/lib64/swipl/test/packages/cpp/test_cpp.pl
  • /usr/lib64/swipl/test/packages/cpp/test_ffi.pl
  • /usr/lib64/swipl/test/packages/http
  • /usr/lib64/swipl/test/packages/http/test_cgi_stream.pl
  • /usr/lib64/swipl/test/packages/http/test_graphql.pl
  • /usr/lib64/swipl/test/packages/http/test_http.pl
  • /usr/lib64/swipl/test/packages/http/test_multipart.pl
  • /usr/lib64/swipl/test/packages/http/test_proxy.pl
  • /usr/lib64/swipl/test/packages/http/test_term_html.pl
  • /usr/lib64/swipl/test/packages/http/test_websocket.pl
  • /usr/lib64/swipl/test/packages/jpl
  • /usr/lib64/swipl/test/packages/jpl/src
  • /usr/lib64/swipl/test/packages/jpl/src/test
  • /usr/lib64/swipl/test/packages/jpl/src/test/java
  • /usr/lib64/swipl/test/packages/jpl/src/test/java/jpltest.jar
  • /usr/lib64/swipl/test/packages/jpl/test_jpl.pl
  • /usr/lib64/swipl/test/packages/json
  • /usr/lib64/swipl/test/packages/json/test_json.pl
  • /usr/lib64/swipl/test/packages/json/test_json_rpc.pl
  • /usr/lib64/swipl/test/packages/json/test_json_schema.pl
  • /usr/lib64/swipl/test/packages/mqi
  • /usr/lib64/swipl/test/packages/mqi/python
  • /usr/lib64/swipl/test/packages/mqi/python/swiplserver
  • /usr/lib64/swipl/test/packages/mqi/python/swiplserver.egg-info
  • /usr/lib64/swipl/test/packages/mqi/python/swiplserver/__init__.py
  • /usr/lib64/swipl/test/packages/mqi/python/swiplserver/prologmqi.py
  • /usr/lib64/swipl/test/packages/mqi/python/test_prologserver.py
  • /usr/lib64/swipl/test/packages/mqi/test_mqi.pl
  • /usr/lib64/swipl/test/packages/nlp
  • /usr/lib64/swipl/test/packages/nlp/test_nlp.pl
  • /usr/lib64/swipl/test/packages/odbc
  • /usr/lib64/swipl/test/packages/odbc/test_odbc.pl
  • /usr/lib64/swipl/test/packages/pcre
  • /usr/lib64/swipl/test/packages/pcre/input
  • /usr/lib64/swipl/test/packages/pcre/input/pcre_load.pl
  • /usr/lib64/swipl/test/packages/pcre/test_pcre.pl
  • /usr/lib64/swipl/test/packages/pengines
  • /usr/lib64/swipl/test/packages/pengines/test_pengines.pl
  • /usr/lib64/swipl/test/packages/protobufs
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/common.mk
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/descriptor_proto_expand.pl
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/descriptor_proto.pl
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/gen_pb
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/gen_pb/google
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/gen_pb/google/protobuf
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/gen_pb/google/protobuf/compiler
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/gen_pb/google/protobuf/compiler/plugin_pb.pl
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/gen_pb/google/protobuf/descriptor_pb.pl
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/gen_pb/README.md
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/Makefile
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/parse_descriptor_proto_dump.pl
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/protoc-gen-swipl
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/README.md
  • /usr/lib64/swipl/test/packages/protobufs/bootstrap/tests.pl
  • /usr/lib64/swipl/test/packages/protobufs/demo
  • /usr/lib64/swipl/test/packages/protobufs/demo/foo.cpp
  • /usr/lib64/swipl/test/packages/protobufs/demo/Makefile
  • /usr/lib64/swipl/test/packages/protobufs/demo/pb_vector.proto
  • /usr/lib64/swipl/test/packages/protobufs/demo/README.md
  • /usr/lib64/swipl/test/packages/protobufs/demo/vector_demo.pl
  • /usr/lib64/swipl/test/packages/protobufs/demo/xml_example.py
  • /usr/lib64/swipl/test/packages/protobufs/eventually_implies.pl
  • /usr/lib64/swipl/test/packages/protobufs/golden_message.2.3.0
  • /usr/lib64/swipl/test/packages/protobufs/golden_message.2.5.0
  • /usr/lib64/swipl/test/packages/protobufs/interop
  • /usr/lib64/swipl/test/packages/protobufs/interop/addressbook2.proto
  • /usr/lib64/swipl/test/packages/protobufs/interop/addressbook.pl
  • /usr/lib64/swipl/test/packages/protobufs/interop/addressbook.proto
  • /usr/lib64/swipl/test/packages/protobufs/interop/google

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

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
10.0.2-1.fc4444 / everythingnoarchFedora 44 · Everything · x86_641.1 MiB6.3 MiBPackages/s/swi-prolog-test-10.0.2-1.fc44.noarch.rpm
10.0.2-1.fc4444 / everythingnoarchFedora 44 · Everything · aarch641.1 MiB6.3 MiBPackages/s/swi-prolog-test-10.0.2-1.fc44.noarch.rpm

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

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.

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: d424031994552522b5c0b65f1af0e076fd91182ee447b4be67efb2f9e8eeccd1

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

printf '%s %s\n' 'd424031994552522b5c0b65f1af0e076fd91182ee447b4be67efb2f9e8eeccd1' 'swi-prolog-test-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: d424031994552522b5c0b65f1af0e076fd91182ee447b4be67efb2f9e8eeccd1

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

printf '%s %s\n' 'd424031994552522b5c0b65f1af0e076fd91182ee447b4be67efb2f9e8eeccd1' 'swi-prolog-test-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

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
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

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 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 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

  • 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 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