1. sublist/2 Write a Prolog predicate sublist(X,Y) that is true if list X is a s

Question

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

Explanation / Answer

CODE:

This code works for both subsequences and non subsequences in the list.

Related Questions

Navigate

• Browse (All)
• Browse 1
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.