prefix([], n) = [] prefix(L, 0) = [] prefix(L, n) = head(L):prefix(tail(L), n-1) (when n > 0 and L ≠ [])