序言列表谓词

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 ).

得到它了！ 这对列表中的子序列和非子序列均适用