I can think of termux (Android), gentoo Linux, Portable Apps (Windows), Anaconda, Conan. I probably know about more and I never heard about Guix.
Story of the world, I learnt a few from your list too.
I strongly recommend Guix to those who enjoy control and ruggedness for their installations however (the people in that community are ace too).
Should there be integration of different package definitions in one location it shall be easier.
https://www.swi-prolog.org/build/
https://www.swi-prolog.org/pldoc/doc/_SWI_/library/build/index.html
Just flagging those and others in the process of considering it:
https://anaconda.org/conda-forge/swi-prolog
https://openports.pl/path/lang/swi-prolog
https://cgit.freebsd.org/ports/tree/lang/swipl
https://pkgs.alpinelinux.org/package/edge/testing/x86/swi-prolog
https://archlinux.org/packages/extra/x86_64/swi-prolog/
Some dashboard aggregator sites between known operating systems elude me as I type.
Naturally, there will be a variance of quality, if not risks.
Perhaps a RFC among community members to establish a passing audit of documentation being uptodate for different OSes and package managers would be interesting.
Its entirely possible that you have a core of Prolog users all using some niche.
[Maybe one day Ill create some parsing scripts to provide an overview (no promises).]
FYI, Im worried that the repo you cite in the build instructions for Termux may be experiencing bitrot (given that the repo hasnt been updated in 5 years, which even includes (potentially insignificant) divergence for the script ‘run-docker.sh’):
https://www.swi-prolog.org/build/Termux.html
Edit:
There is this conversation thread concerning this package definition for NIXOS