Did you know ... Search Documentation:
Predicate before/2
 before(+Term, -Before) is det[private]
Unify Before to a term that comes before Term in the standard order of terms.
Errors
- instantiation_error if Term is unbound.