list - 在 Prolog 中查找列表项的前导/后继

Question

我很难将想法从 Lisp 翻译成 Prolog。我确实找到了如何在 Lisp 中找到前任和后继者，但我很难在 Prolog 中实现相同的想法。我的语法很差。请帮帮我。

示例查询:

?- predecessor(b,[a,b,c],P).
P = a.                          % expected result

?- successor(b,[a,b,c],S).
S = c.                          % expected result

Answer 1

这是一个 DCG 方法:

pred(X, P) --> stuff, [P,X], stuff.
succ(X, S) --> stuff, [X,S], stuff.
stuff --> [] | [_], stuff.

predecessor(X, L, P) :- phrase(pred(X, P), L).
successor(X, L, P) :- phrase(succ(X, S), L).

零星试验:

| ?- predecessor(a, [a,1,2,a,3], L).

L = 2 ? ;

no
| ?- predecessor(X, [1,2,3,2,5], 2).

X = 3 ? a

X = 5

no
| ?- successor(a, [a,1,2,a,3], L).

L = 1 ? a

L = 3

no
| ?- successor(X, [1,2,3,2,5], 2).

X = 1 ? a

X = 3

no
| ?-

根据@false 的评论，可以稍微整理一下实现:

predecessor(X, L, P) :- phrase((..., [P,X], ...), L).
successor(X, L, S) :- phrase((..., [X,S], ...), L).
... --> [] | [_], ... .

具有相同的测试结果。