Did you know ... Search Documentation:
Predicate pi_head/2