Question: Define a predicate subseq/2, with signature subseq (,+), which is true when both its arguments are lists and its first argument can be constructed by
Define a predicate subseq/2, with signature subseq (,+), which is true when both its arguments are lists and its first argument can be constructed by removing zero or more elements from its second argument. Example: ?- subseq (x,[a,b,c]). x=[a,b,c]; x=[a,b]; x=[a,c]; x=[a]; x=[b,c]; x=[b]; x=[c]; x=[]
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
Study Help