The current version of pack pac does not contain a file prolog/util/models.pl
pac
prolog/util/models.pl