https://github.com/SWI-Prolog/docker-swipl