(Пролог) Поиск соседей в списке

Question

Нам нужно написать пролог-пролог neighbors(X,Y,L), который является истинным, если L - это список, а X и Y являются соседними элементами в списке. До сих пор я писал:

neighbors(X,X,[X]). 
neighbors(X,Y,[X,Y|R]):- neighbors(X,Y,R). 
neighbors(X,Y,[Y,X|R]):- neighbors(X,Y,R).` 

но выход всегда будет давать (очевидно) пустые скобки («[]») независимо от входных данных. Можете ли вы, ребята, дать мне несколько советов о том, как улучшить этот предикат? Мы недавно начали с Пролога, поэтому мне по-прежнему нужна практика.

Answer 1

Итак, я все время пытался найти и найти ответ.

я должен был рассмотреть 2 случая:

1. X и Y является соседом с X, Y так neighbors(X,Y,[X,Y|_]).

2. X и Y является соседом с YX так neighbors(X,Y,[Y,X|_]).

А также мы должны проверить весь список, пропустив каждый элемент, который не имеет отношения к нам (все элементы, которые не соответствуют X или Y). Это может быть сделано с помощью рекурсии neighbors(X,Y,[F,S|R]) :- neighbors(X,Y,[S|R]).

поэтому весь предикат должен быть

neighbors(X,Y,[X,Y|_]). 
neighbors(X,Y,[Y,X|_]). 
neighbors(X,Y,[F,S|R]) :- neighbors(X,Y,[S|R]). 

до сих пор, это дает правильные выходы для каждого входа, но если есть еще что-то не так, то пожалуйста, сообщите мне об этом. Благодарю.

Answer 2

Вы должны использовать Append:

neighbors(X,X,[X]). 

neighbors(X,Y,L) :- 
     append(_, [X,Y|_], L) 
    ; append(_, [Y,X|_], L).