prolog - swi-prolog 不会回答查询

Question

我正在尝试编写一个查询，以确保一个元素存在于列表列表中，我尝试了这个实现：

membernested(E,[H|T]):-member(E,H).
membernested(E,[H|T]):-membernested(E,[T]).

但是Prolog不会回答这个问题，有什么想法吗？

Answer 1

将您的第二个子句更改为：

membernested(E,[H|T]) :- membernested(E,T).

列表的尾部[H|T]是T，不是[T]。无需将其包含在另一个列表中。