Docker image for SWI Prolog