I am willing to work on a build for SWI-Prolog
(
https://www.swi-prolog.org/).
The build process is not straight forward, so it will involve a bit of
experimentation to get it right (unlike usual cases).
Does anyone have any objections to having SWI-Prolog under ClearLinux?