Предикат flatten

flatten(L, R).

flatten(L, R). - Предикат для раскрытия списка списов L в список R.

Определене предиката

flatten([X|Xs], Ys) if flatten(X, Ys1), flatten(Xs, Ys2), connect(Ys1, Ys2, Ys).
flatten(X,[X]) if constant(X), ne(X,[ ]).
flatten([ ],[ ]).

Пример

flatten([[1, 2, 3], [4, 5, 6]], R).
Результат R: [1, 2, 3, 4, 5, 6].