仍然是Prolog的新手。
我试图看看我的一个类型是否是使用成员返回列表的一部分，但我得到了错误。
这就是我所拥有的：
test(G) :- findall(G,(book(_,_,G,_)),A),
flatten(A,L),
member(G,L).
并且在测试时我得到了一个假（使用test(g1).）。
然而，当我在没有会员的情况下进行测试时，flatten给了我以下列表：
L = [g3, g4, g1, g5, g2, g1, g3, g4].
所以g1 是 L的一部分，我理解应该返回true？