How do I write a predicate that takes as input a list, and appends all list-typed entries from this list to a new list using Prolog?

Question

It should be done in a left-recursive way. Right now we have this:

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.

However it keeps giving me this error:

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

For example if I would query like this. The output should be like this:

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

Could someone please explain to me what I am doing wrong?

See also: https://stackoverflow.com/questions/64894058/listsfromlist-function-in-prolog — David Tonhofer, Nov 19 '20 at 18:41
Does this answer your question? [ListsfromList function in Prolog](https://stackoverflow.com/questions/64894058/listsfromlist-function-in-prolog) — DuDa, Nov 19 '20 at 20:10

score 0 · Accepted Answer · answered Nov 19 '20 at 17:15

0

You can use 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]]

answered Nov 19 '20 at 17:15

Reema Q Khan

878
1
7
20

How do I write a predicate that takes as input a list, and appends all list-typed entries from this list to a new list using Prolog?

1 Answers1