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