Did you know ... Search Documentation:
Predicate pi_to_head/2
 pi_to_head(+PI, -Head) is semidet[private]
Translate Name/Arity or Name//Arity to a callable term. Fails if PI is not a predicate indicator.