如何在amzi prolog中获取列表中的第一个匹配项？

Question

到目前为止，这是我能想到的.pro文件。我想打印/获取/输出“thelist”的第一次出现（= first Head）。

thelist([a,b,c,d,e]).

head(H,[H|T]).

为什么它总是在任何时候都返回NO？ 感谢

Answer 1

尝试

...
thelist([H|_]), write(H), nl,
...

Answer 2

似乎我也可以这样使用：

thelist(X),first(F,X).

但是下面的代码必须添加到知识库（.pro文件）

first(F,[F|_]).

替换

head(H,[H|T]).