Did you know ... Search Documentation:
Predicate head/2
 head(+Term, -QHead) is semidet[private]
Must be first to allow reloading!