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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!