为什么查询出现错误：“query(member(one, [one,two, Three])).”在 Problog 中？

Question

我是 Problog / Prolog 的新手，无法理解为什么在使用成员函数进行查询期间发生错误。

任何帮助将不胜感激。

在Problog中，我尝试查询：

query(member(one, [one,two,three])). 

我希望这是真的。但我收到错误：

UnknownClause: No clauses found for 'member/2' at 189:7. 

我是 Problog / Prolog 的新手，无法理解为什么会发生这种情况。 任何帮助将不胜感激。

Answer 1

我在程序中定义了一个成员函数：

    list_member(X,[X|_]).

    list_member(X,[_|TAIL]) :- 
        list_member(X,TAIL).

现在可以了。我假设成员函数已经内置并且可以工作。如果有人可以确认如果不在自己的程序中编写成员函数就无法调用成员函数，那将会很有帮助。