Update User Manual documentation on using non-standard Prolog built-in meta-predicates