The current version of pack scasp does not contain a file examples/entail_loop.pl
scasp
examples/entail_loop.pl