Delete predicate.pl~