list - Prolog，列表中 Y 之前的 X

Question

我无法理解 prolog，我必须找出列表中 X 是否在 Y 之前。

所以我有一个空列表的基本情况

before(X, Y, [ ]).

现在我知道我想检查 List 中 X 的索引和 Y 的索引，如果 indexX < indexY我想获得成功。

有人可以解释一个简单的方法吗？

Answer 1

您可以使用 append/3找到 X 和它后面的剩余列表，然后找到 Y。

before(X, Y, L):-
  append(_, [X|Tail], L),
  append(_, [Y|_], Tail).