The current version of pack ccprism does not contain a file prolog/ccprism/machines.pl
ccprism
prolog/ccprism/machines.pl