Question: . sublist/2 Write a Prolog predicate sublist(X,Y) that is true if list X is a sublist of list Y. A sublist is defined as the
. sublist/2
Write a Prolog predicate sublist(X,Y) that is true if list X is a sublist of list Y. A
sublist is defined as the original list, in the same order, but in which some elements
may have been removed. For instance (user input is in bold):
?- 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([],[a,e,e,f]).
Yes
?- sublist([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
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
