序言挑戰

Question

我有以下實現的子列表算法。 問題：給定2個列表，確定一個是否是另一個的子列表。 我真的需要Prolog中另一個獨特的解決方案。

解決方法一：

sublist([H1|T1], L, [H2|T2]):- 
    H1 = H2, 
    sublist(T1, L, T2). 
sublist([], _, _) 
sublist([H1|T1],L,[H2|T2]):- 
    sublist(L,L,T2). 

解決方法二：

sublist([H|T], [H|L]):- check(T,L), 
sublist(S, [H|T]):- sublist(S,T). 
check([H|T], [H|R]):- 
    check(T,R). 
check([],_). 

解決方法三：

sublist(S,L):- 
    append(_,R,L), 
    append(S,_,R). 

解決方法三'：

sublist(S,L):- 
    append3(_,S,_,L). 

Answer 1

?- phrase((...,seq(Sublist),...),List). 

有：

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

seq([]) --> []. 
seq([E|Es]) --> [E], seq(Es). 

（警告：爲了能夠解釋這個解決方案，您需要先了解DCG中！）

Answer 2

sublist([], _). 
sublist([H|T], List) :- 
    select(H, List, R),!, 
    sublist(T, R). 

你可以做，如果它更有效名單被命令開始。

根據您的Prolog方言，select/3可能會有不同的名稱。

警告：根據虛假評論，這比「子列表」更像「子集」。