Did you know ... Search Documentation:
Predicate append/4
 append(-First, -FirstTail, ?Rest, +List) is nondet[private]
Split List. First part is the difference-list First-FirstTail.