I am the author of the CLP(FD) system of SWI-Prolog that is described in one of the tutorials you currently link to. Since last year, I have moved development to SICStus Prolog, and the new system is called CLP(Z). Users are strongly encouraged to migrate to CLP(Z)!
Therefore, to point to the more recent developments, please consider linking to one of the following texts instead:
Hi Klaus,
I am the author of the CLP(FD) system of SWI-Prolog that is described in one of the tutorials you currently link to. Since last year, I have moved development to SICStus Prolog, and the new system is called CLP(Z). Users are strongly encouraged to migrate to CLP(Z)!
Therefore, to point to the more recent developments, please consider linking to one of the following texts instead:
https://github.com/triska/clpz
or
https://www.metalevel.at/prolog/clpfd
These are more recent resources that describe the latest developments, and—importantly—also link to the related academic publications.
Thank you!