Did you know ... Search Documentation:
Pack assertions -- prolog/assertions/examples/pldoc/man

The current version of pack assertions does not contain a file prolog/assertions/examples/pldoc/man