Define the relationflatten(List, Flatlist), where List can be a list of lists, and Flatlist is a list which is flattened such that the elements are reorganized as one plain list. For example,

?-flatten([a, b, [c, d], [], [[[e]]], f], L).

L = [a, b, c, d, e, f]

in Haskell