Question: Complete the following Prolog code to define the standard list operation Member as a predicate that returns true if its 1st argument is a member

Complete the following Prolog code to define the standard list operation Member as a predicate that returns true if its 1st argument is a member of its 2nd argument, which is a list. E.g. Member(2, [1 2 3]) should return True since 2 is an element of the list [ 123] Remember that [XI Yl splits the list into Head and Tail, as: -2 [Head!Tail] = [mia, vincent, june]. -Head mia Tail [vincent, june] Member (X, Member (X., LYI). //when the first element ) i-Member (X.Z). //when not the first element
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
