如何编写一个谓词，该谓词以列表作为输入，并使用Prolog将该列表中的所有列表类型条目附加到新列表中

Question

应该以左递归的方式完成。现在我们有这个：

listsFromList([],[]) .
listsFromList([Head|Tail], LL):-
listsFromList(Tail,LL),
is_list(Head),
append(Head,LL, Newlist), LL is Newlist.
listsFromList([Head|Tail], LL):-
listsFromList(Tail,LL),
not(is_list(Head)), LL is LL.

然而，它一直给我这个错误：

ERROR: Type error: `[]' expected, found `[a,b]' (a list) ("x" must hold one character)

例如，如果我想这样查询。输出应该是这样的：

?- listsFromList([1,[],2,3,4,[a,b]],X).
X = [[], [a, b]] .

有人能向我解释一下我做错了什么吗？

Answer 1

您可以使用is_list:-

list([],[]).
list([H|T],[H|B]):-
is_list(H),
list(T,B).
list([H|T],B):-
+is_list(H),
list(T,B).
?-list([1,[],2,3,4,[a,b]],X).
X = [[], [a, b]]