Prolog 列表谓词

Question

对 PROLOG 很陌生，我对这个列表有疑问。

如果列表X 是列表Y 的子列表，我需要一个谓词(sublist(X,Y)。子列表是原始列表，顺序相同，但某些元素可能已被删除。例如，一些示例用户输入是：

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

知道了！这适用于列表中的子序列和非子序列