如何表示“左侧某处”？在序言中？

Question

在Prolog中，如何表示“左侧某处”的情况。 例如，有一个List“List”和两个术语“X”和“Y”，如何表示规则：X在List中位于Y左侧的某处。

Answer 1

这可以简化为子序列匹配的问题。

subsequence([], _).
subsequence([X|Sub], [X|Seq]) :-
    subsequence(Sub, Seq).
subsequence(Sub, [_|Seq]) :-
    subsequence(Sub, Seq).

那么你的“left-of”查询将是subsequence([X, Y], List), !。

Answer 2

您想要描述列表的一些属性。语法通常是解决这个问题的最佳方法。

... --> [].
... --> [_], ... .

?- Xs = "abc", phrase((...,[X], ..., [Y], ...), Xs).
   Xs = "abc", X = a, Y = b
;  Xs = "abc", X = a, Y = c
;  Xs = "abc", X = b, Y = c
;  false.

Answer 3

它可以通过多种方式完成。
nth1(N,List,X) 是一个谓词，如果 List 的第 N 个元素是 X，则该谓词为 true。

使用 nth1 的实现非常简单；在你看到我的代码之前尝试解决它。

left(X,Y,L):-
    nth1(NX,L,X),
    nth1(NY,L,Y),
    NX<NY.

解决这个问题的其他方法是使用append/3：

left(X,Y,L):-
   append(_,[X|T],L),
   member(Y,L).

或者只是简单的递归：

left(X,Y,[X|T]):-
   member(Y,T).
left(X,Y,[H|T]):-
   H=\=X,
   left(X,Y,T).

Answer 4

如果你已经有了append/3谓词那么你可以使用：

left(A,B,S) :-
    append(_,[B,A|_],S).

如果你问：

?- left(1,2,[1,2,3,4]).
false.

?- left(2,1,[1,2,3,4]).
true

-Leo