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