Using swi-prolog with Docker