Content of RPM swi-prolog-devel-8.4.1-10.412.x86_64.rpm :
/usr/lib64/cmake/swipl
/usr/lib64/cmake/swipl/SWIPLConfig.cmake
/usr/lib64/cmake/swipl/SWIPLConfigVersion.cmake
/usr/lib64/cmake/swipl/SWIPLTargets-relwithdebinfo.cmake
/usr/lib64/cmake/swipl/SWIPLTargets.cmake
/usr/lib64/libswipl.so
/usr/lib64/swipl/include
/usr/lib64/swipl/include/SWI-Prolog.h
/usr/lib64/swipl/include/SWI-Stream.h
/usr/lib64/swipl/include/SWI-cpp.h
/usr/lib64/swipl/include/Yap
/usr/lib64/swipl/include/Yap/YapInterface.h
/usr/lib64/swipl/include/sicstus
/usr/lib64/swipl/include/sicstus/sicstus.h
/usr/share/pkgconfig/swipl.pc
/usr/share/swipl/doc/packages/examples
/usr/share/swipl/doc/packages/examples/chr
/usr/share/swipl/doc/packages/examples/chr/bool.chr
/usr/share/swipl/doc/packages/examples/chr/chrdif.chr
/usr/share/swipl/doc/packages/examples/chr/chrfreeze.chr
/usr/share/swipl/doc/packages/examples/chr/family.chr
/usr/share/swipl/doc/packages/examples/chr/fib.chr
/usr/share/swipl/doc/packages/examples/chr/fibonacci.chr
/usr/share/swipl/doc/packages/examples/chr/gcd.chr
/usr/share/swipl/doc/packages/examples/chr/leq.chr
/usr/share/swipl/doc/packages/examples/chr/listdom.chr
/usr/share/swipl/doc/packages/examples/chr/primes.chr
/usr/share/swipl/doc/packages/examples/cpp
/usr/share/swipl/doc/packages/examples/cpp/README.md
/usr/share/swipl/doc/packages/examples/cpp/likes.cpp
/usr/share/swipl/doc/packages/examples/cpp/likes.pl
/usr/share/swipl/doc/packages/examples/cpp/test.cpp
/usr/share/swipl/doc/packages/examples/cpp/test.pl
/usr/share/swipl/doc/packages/examples/cql
/usr/share/swipl/doc/packages/examples/cql/cql_demo.pl
/usr/share/swipl/doc/packages/examples/http
/usr/share/swipl/doc/packages/examples/http/README.md
/usr/share/swipl/doc/packages/examples/http/calc.pl
/usr/share/swipl/doc/packages/examples/http/demo_body.pl
/usr/share/swipl/doc/packages/examples/http/demo_client.pl
/usr/share/swipl/doc/packages/examples/http/demo_daemon.pl
/usr/share/swipl/doc/packages/examples/http/demo_files.pl
/usr/share/swipl/doc/packages/examples/http/demo_hello.pl
/usr/share/swipl/doc/packages/examples/http/demo_login.pl
/usr/share/swipl/doc/packages/examples/http/demo_openid.pl
/usr/share/swipl/doc/packages/examples/http/demo_pwp.pl
/usr/share/swipl/doc/packages/examples/http/demo_rest.pl
/usr/share/swipl/doc/packages/examples/http/demo_threads.pl
/usr/share/swipl/doc/packages/examples/http/linux-init-script
/usr/share/swipl/doc/packages/examples/http/pwp
/usr/share/swipl/doc/packages/examples/http/pwp/context.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/index.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwp1.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwp2.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwp3.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwp4.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwp5.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwp6.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwp7.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwp8.pwp
/usr/share/swipl/doc/packages/examples/http/pwp/pwpdb.pl
/usr/share/swipl/doc/packages/examples/http/systemd-script.service
/usr/share/swipl/doc/packages/examples/http/upstart-script.conf
/usr/share/swipl/doc/packages/examples/inclpr
/usr/share/swipl/doc/packages/examples/inclpr/benchmarks.pl
/usr/share/swipl/doc/packages/examples/jpl
/usr/share/swipl/doc/packages/examples/jpl/java
/usr/share/swipl/doc/packages/examples/jpl/java/README.md
/usr/share/swipl/doc/packages/examples/jpl/java/db
/usr/share/swipl/doc/packages/examples/jpl/java/db/Db.java
/usr/share/swipl/doc/packages/examples/jpl/java/db/db.pl
/usr/share/swipl/doc/packages/examples/jpl/java/factorial
/usr/share/swipl/doc/packages/examples/jpl/java/factorial/Factorial.java
/usr/share/swipl/doc/packages/examples/jpl/java/factorial/fact.pl
/usr/share/swipl/doc/packages/examples/jpl/java/family
/usr/share/swipl/doc/packages/examples/jpl/java/family/Family.java
/usr/share/swipl/doc/packages/examples/jpl/java/family/FamilyMT.java
/usr/share/swipl/doc/packages/examples/jpl/java/family/family.pl
/usr/share/swipl/doc/packages/examples/jpl/java/semWeb
/usr/share/swipl/doc/packages/examples/jpl/java/semWeb/SemWeb.java
/usr/share/swipl/doc/packages/examples/jpl/java/semWeb/test.rdf
/usr/share/swipl/doc/packages/examples/jpl/java/system
/usr/share/swipl/doc/packages/examples/jpl/java/system/Exceptions.java
/usr/share/swipl/doc/packages/examples/jpl/java/system/Init.java
/usr/share/swipl/doc/packages/examples/jpl/java/system/Versions.java
/usr/share/swipl/doc/packages/examples/jpl/java/test
/usr/share/swipl/doc/packages/examples/jpl/java/test/Test.java
/usr/share/swipl/doc/packages/examples/jpl/java/test/test.pl
/usr/share/swipl/doc/packages/examples/jpl/java/testGC
/usr/share/swipl/doc/packages/examples/jpl/java/testGC/TestGC.java
/usr/share/swipl/doc/packages/examples/jpl/java/testGC/test.pl
/usr/share/swipl/doc/packages/examples/jpl/java/thread
/usr/share/swipl/doc/packages/examples/jpl/java/thread/PrologMT.java
/usr/share/swipl/doc/packages/examples/jpl/java/thread/README.md
/usr/share/swipl/doc/packages/examples/jpl/java/thread/program.pl
/usr/share/swipl/doc/packages/examples/jpl/java/time
/usr/share/swipl/doc/packages/examples/jpl/java/time/Time.java
/usr/share/swipl/doc/packages/examples/jpl/java/time/time.pl
/usr/share/swipl/doc/packages/examples/jpl/java/zahed
/usr/share/swipl/doc/packages/examples/jpl/java/zahed/README
/usr/share/swipl/doc/packages/examples/jpl/java/zahed/Zahed.java
/usr/share/swipl/doc/packages/examples/jpl/java/zahed/run.bat
/usr/share/swipl/doc/packages/examples/jpl/java/zahed/run.sh
/usr/share/swipl/doc/packages/examples/jpl/java/zahed/zahed.pl
/usr/share/swipl/doc/packages/examples/jpl/prolog
/usr/share/swipl/doc/packages/examples/jpl/prolog/jpl_colour_choose_demo.pl
/usr/share/swipl/doc/packages/examples/jpl/prolog/jpl_jlist_demo.pl
/usr/share/swipl/doc/packages/examples/jpl/prolog/jpl_table_demo.pl
/usr/share/swipl/doc/packages/examples/jpl/prolog/jpl_text_entry_demo.pl
/usr/share/swipl/doc/packages/examples/jpl/prolog/jpl_versions_demo.pl
/usr/share/swipl/doc/packages/examples/pengines
/usr/share/swipl/doc/packages/examples/pengines/client.pl
/usr/share/swipl/doc/packages/examples/pengines/server.pl
/usr/share/swipl/doc/packages/examples/pengines/web
/usr/share/swipl/doc/packages/examples/pengines/web/chunking.html
/usr/share/swipl/doc/packages/examples/pengines/web/debugging.html
/usr/share/swipl/doc/packages/examples/pengines/web/hack.html
/usr/share/swipl/doc/packages/examples/pengines/web/index.html
/usr/share/swipl/doc/packages/examples/pengines/web/input_output.html
/usr/share/swipl/doc/packages/examples/pengines/web/pengine.html
/usr/share/swipl/doc/packages/examples/pengines/web/queen.png
/usr/share/swipl/doc/packages/examples/pengines/web/queens.html
/usr/share/swipl/doc/packages/examples/pengines/web/simple.html
/usr/share/swipl/doc/packages/examples/pengines/web/update-jquery
/usr/share/swipl/doc/packages/examples/pldoc
/usr/share/swipl/doc/packages/examples/pldoc/README
/usr/share/swipl/doc/packages/examples/pldoc/man_server.pl
/usr/share/swipl/doc/packages/examples/plunit
/usr/share/swipl/doc/packages/examples/plunit/read.pl
/usr/share/swipl/doc/packages/examples/plunit/simple.pl
/usr/share/swipl/doc/packages/examples/protobufs
/usr/share/swipl/doc/packages/examples/protobufs/bootstrap
/usr/share/swipl/doc/packages/examples/protobufs/bootstrap/README.md
/usr/share/swipl/doc/packages/examples/protobufs/bootstrap/common.mk
/usr/share/swipl/doc/packages/examples/protobufs/demo
/usr/share/swipl/doc/packages/examples/protobufs/demo/Makefile
/usr/share/swipl/doc/packages/examples/protobufs/demo/README.md
/usr/share/swipl/doc/packages/examples/protobufs/demo/foo.cpp
/usr/share/swipl/doc/packages/examples/protobufs/demo/pb_vector.proto
/usr/share/swipl/doc/packages/examples/protobufs/demo/vector_demo.pl
/usr/share/swipl/doc/packages/examples/protobufs/eventually_implies.pl
/usr/share/swipl/doc/packages/examples/protobufs/interop
/usr/share/swipl/doc/packages/examples/protobufs/interop/Makefile
/usr/share/swipl/doc/packages/examples/protobufs/interop/README.md
/usr/share/swipl/doc/packages/examples/protobufs/interop/addressbook.pl
/usr/share/swipl/doc/packages/examples/protobufs/interop/addressbook.proto
/usr/share/swipl/doc/packages/examples/protobufs/interop/addressbook2.proto
/usr/share/swipl/doc/packages/examples/protobufs/interop/test.proto
/usr/share/swipl/doc/packages/examples/protobufs/interop/test2.proto
/usr/share/swipl/doc/packages/examples/protobufs/interop/test2b.proto
/usr/share/swipl/doc/packages/examples/protobufs/interop/test_interop.pl
/usr/share/swipl/doc/packages/examples/protobufs/interop/test_read.cc
/usr/share/swipl/doc/packages/examples/protobufs/interop/test_read.py
/usr/share/swipl/doc/packages/examples/protobufs/interop/test_templates.pl
/usr/share/swipl/doc/packages/examples/protobufs/interop/test_write.cc
/usr/share/swipl/doc/packages/examples/protobufs/interop/test_write.py
/usr/share/swipl/doc/packages/examples/protobufs/interop/unittest.proto
/usr/share/swipl/doc/packages/examples/protobufs/interop/unittest_import.proto
/usr/share/swipl/doc/packages/examples/protobufs/interop/unittest_import_public.proto
/usr/share/swipl/doc/packages/examples/protobufs/some_message.proto
/usr/share/swipl/doc/packages/examples/protobufs/some_message.py
/usr/share/swipl/doc/packages/examples/redis
/usr/share/swipl/doc/packages/examples/redis/README.md
/usr/share/swipl/doc/packages/examples/redis/common.pl
/usr/share/swipl/doc/packages/examples/redis/prime-node.pl
/usr/share/swipl/doc/packages/examples/redis/primes.pl
/usr/share/swipl/doc/packages/examples/ssl
/usr/share/swipl/doc/packages/examples/ssl/client.pl
/usr/share/swipl/doc/packages/examples/ssl/etc
/usr/share/swipl/doc/packages/examples/ssl/etc/README
/usr/share/swipl/doc/packages/examples/ssl/etc/client
/usr/share/swipl/doc/packages/examples/ssl/etc/client/client-cert.p12
/usr/share/swipl/doc/packages/examples/ssl/etc/client/client-cert.pem
/usr/share/swipl/doc/packages/examples/ssl/etc/client/client-key.pem
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/cacert.pem
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/careq.pem
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/crlnumber
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt.attr
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7C.pem
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7D.pem
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/private
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem
/usr/share/swipl/doc/packages/examples/ssl/etc/demoCA/serial
/usr/share/swipl/doc/packages/examples/ssl/etc/server
/usr/share/swipl/doc/packages/examples/ssl/etc/server/server-cert.pem
/usr/share/swipl/doc/packages/examples/ssl/etc/server/server-key.pem
/usr/share/swipl/doc/packages/examples/ssl/https.pl
/usr/share/swipl/doc/packages/examples/ssl/server.pl
/usr/share/swipl/doc/packages/examples/stomp
/usr/share/swipl/doc/packages/examples/stomp/ping.pl
/usr/share/swipl/doc/packages/examples/stomp/pong.pl
/usr/share/swipl/doc/packages/examples/stomp/server-loop.sh
/usr/share/swipl/doc/packages/examples/stomp/simple.pl
/usr/share/swipl/doc/packages/examples/stomp/stress_client.pl
/usr/share/swipl/doc/packages/examples/stomp/stress_server.pl