如何访问嵌套函子中的特定值（Prolog）

Question

假设我们有以下嵌套函子列表：

[state(a, [move(0, b), move(1, a)], b),
 state(b, [move(1, c), move(2, b)], c)].

找出move(1,a)是否在此列表中或者如果我们知道move(1, _)在其中的正确语法是什么，如何确定_的值是什么？

我知道我们可以使用成员函数来查找c是否在函子列表中，但是我们如何将其应用于嵌套函子列表呢？

Answer 1

例如：

?- L=[state(a, [move(0, b), move(1, a)], b), state(b, [move(1, c), move(2, b)], c)],
member(state(S, Moves, _), L), member(move(1, T), Moves).

得到（我缩写L的输出）

L = ...,
S = T, T = a,
Moves = [move(0, b), move(1, a)] ;
L = ...,
S = b,
Moves = [move(1, c), move(2, b)],
T = c ;
false.