序言列表謂詞

Question

對PROLOG來說還很陌生，我對此列表有疑問。

我需要一個謂詞（ sublist(X,Y ），如果列表X是列表Y的子列表，則為true。該子列表是原始列表，順序相同，但是某些元素可能已被刪除，例如，一些示例用戶輸入為：

?- sublist([a,b],[a,e,b,d,s,e]).
Yes

?- sublist([a,b],[a,e,e,f]).
No

?- sublist([a,b],[b,a]).
No

?- sublist(X,[a,b,c]).
X = [] ;
X = [a] ;
X = [a, b] ;
X = [a, b, c] ;
X = [a, c] ;
X = [b] ;
X = [b, c] ;
X = [c] ;
No

Answer 1

sublist( [], _ ).
sublist( [X|XS], [X|XSS] ) :- sublist( XS, XSS ).
sublist( [X|XS], [_|XSS] ) :- sublist( [X|XS], XSS ).

得到它了！ 這對列表中的子序列和非子序列均適用