GNU Prolog：列表中的成员？

Question

我正在使用 Prolog 艺术中的一些代码。该示例在 GNU Prolog 中不起作用。有谁知道我做错了什么？

mem(X,[X|Xs]).
user:2: warning: singleton variables [Xs] for mem/2
mem(X,[Y|Ys]) :- mem(X,Ys).
user:3: warning: singleton variables [Y] for mem/2

不确定此警告。

现在我测试一个查询，结果为负：

| ?- mem(g, [a, g, e]).
uncaught exception: error(existence_error(procedure,mem/2),top_level/0)

我认为 Prolog 艺术和 GNU 解释器中的示例之间一定有一些我遗漏的东西，因为我在here发布了类似的问题。