Did you know ... Search Documentation:
Predicate is_pi/1
Availability::- use_module(pldoc(doc_html)).
 is_pi(@Term) is semidet
True if Term is a predicate indicator.