is_list(X) succeeds if X currently stands for a list.
Examples
?- is_list([1.0,2.0,3.0]).
yes
?- is_list([]).
yes
?- is_list([a|[]]).
yes
?- is_list([a|b]).
no
?- is_list([a|X]).
no
?- is_list(X).
nois_list(X) - checks that a term is a list.is_list(X) succeeds if X currently stands for a list.
?- is_list([1.0,2.0,3.0]).
yes
?- is_list([]).
yes
?- is_list([a|[]]).
yes
?- is_list([a|b]).
no
?- is_list([a|X]).
no
?- is_list(X).
no