Prolog中的ListsfromList函数

Question

我在序言中编写了一个谓词，其中给出了两个参数listsFromL(X,B)。 X 将是一个列表，其中包含该列表中的列表，B 将是一个新列表，其中包含来自 X 的列表。

例如，如果我调用 listsFromL([1,2,[d,a]],X).，返回结果将为 B = [[d,a ]]. 如果我向 X 添加更多列表，我会得到一个更长的列表，其中列表为 X。

我该如何解决这个问题？

Answer 1

listsFromList([],[]) .

listsFromList([HEAD|SOURCEs],[HEAD|TARGETs])
:-
is_list(HEAD) ,
listsFromList(SOURCEs,TARGETs)
.

listsFromList([HEAD|SOURCEs],TARGETs)
:-
\+ is_list(HEAD) ,
listsFromList(SOURCEs,TARGETs)
.

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

?- listsFromList([1,[a,b],2,[c,d],3],X).
X = [[a, b], [c, d]] ;
false.

?- listsFromList([],X).
X = [].

?- 
*/