Man pages matching name gprolog in section 1:

gprolog.1.en	debian 11 / gprolog
gprolog.1.en	debian 12 / gprolog