如何在prolog中创建flatten方程？

Question

这是我迄今为止的尝试。我不确定这种方法有什么问题。与其他语言类似，扁平等式

1. 检查列表是否为空
2. 检查头部是否为空，然后继续尾部
3. 支票是原始和不平整列表的头部相等

flatten([],[]).
flatten([X1|PS], [[X1|XS]) :- flatten(PS, [XS]).
flatten(PS, [X1|XS]) :- flatten(A, [X1]), flatten(B, [XS]), append(A,B, PS).
flatten( [PS],PS).