The current version of pack scasp does not contain a file prolog/scasp/predicates.pl
scasp
prolog/scasp/predicates.pl