Manpages of gprolog in Debian jessie