https://www.swi-prolog.org/ https://github.com/SWI-Prolog/swipl-devel/
