How to install gprolog-doc on Debian Unstable (Sid)