Did you know ... Search Documentation:
Pack assertions -- prolog/assertions/assrt_lib.pl

The current version of pack assertions does not contain a file prolog/assertions/assrt_lib.pl