The current version of pack xtools does not contain a file prolog/checkable_predicate.pl
xtools
prolog/checkable_predicate.pl