List 测试L是否是有效的Prolog列表

我正在做一大堆Prolog任务，但我对列表的工作方式知之甚少。我有以下资料：

是一个列表（+L）

。测试

L

是否为有效的序言列表

---

我如何为它编写谓词？

+

是什么意思？

以下内容可以简化，为您提供所寻求的解决方案

is_a_list_of_integer([]) .

is_a_list_of_integer([ITEM|LISTs])
:-
prolog:integer(ITEM) ,
is_a_list_of_integer(LISTs)
.

---

看见它说“+：参数在调用时被完全实例化为一个满足类型的术语。这不一定是基础，例如，术语

[\u]

是一个列表，尽管它的唯一成员是未绑定的。”也就是说，你可以期待调用像

是一个列表（[1,2,3]）

，

是一个列表（[1,B,3]）

，

是一个列表（[1,T

），但不是一个列表（否）。那怎么写呢？从我给出的前三个子句开始。你能给我指一个解释列表的资源吗，e、 还有@WillNess我喜欢这个“概括”资源