Открытый список и член

Question

Поскольку я хочу избежать стоимости append/3, я использую разницу/открытые списки.

Проблема с открытым списком однако заключается в том, что member/2 реагирует на открытый список, добавляя элемент в хвост. Например:

?- L=[a|_],member(b,L). 
L = [a, b|_G1196] ; 
L = [a, _G1195, b|_G1199] ; 
L = [a, _G1195, _G1198, b|_G1202] ; 
L = [a, _G1195, _G1198, _G1201, b|_G1205] ; 
L = [a, _G1195, _G1198, _G1201, _G1204, b|_G1208] ; 
L = [a, _G1195, _G1198, _G1201, _G1204, _G1207, b|_G1211] 

Это правильное поведение, так как открытый список имеет неограниченный «хвост» и функция member/2 объединяет этот хвост/отверстие (переменный) с первым аргументом члена.

Я смотрю, однако, таким образом, я могу проверить, есть ли в открытом списке элемент, равный данному элементу. Как я могу это сделать?

Answer 1

Вы можете написать свой собственный вариант member/2: member_open/2:

member_open(_,X) :- 
    var(X), 
    !, 
    fail. 
member_open(X,[X|_]). 
member_open(X,[_|T]) :- 
    member_open(X,T). 

или более чище Подход:

member_open(X,Y) :- 
    \+var(Y), 
    Y = [X|_]. 
member_open(X,Y) :- 
    \+var(Y), 
    Y = [_|T], 
    member_open(X,T). 

предиката делает предположение о том, что открытый список имеет хвост, который var/1 , Если предикат находит такой хвост, он выполняет разрез (!) и терпит неудачу.

Demo:

?- member_open(a,[]). 
false. 

?- member_open(a,[a]). 
true ; 
false. 

?- member_open(a,[a,a]). 
true ; 
true ; 
false. 

?- member_open(a,[a,a|_]). 
true ; 
true ; 
false. 

?- member_open(b,[a,a|_]). 
false. 

?- member_open(X,[X,a|_]). 
true ; 
X = a ; 
false. 

?- member_open(X,[c,a|_]). 
X = c ; 
X = a ; 
false.