Man pages matching name prol in section 5:

prol.5.en

debian 10 / alliance