Write a logic program defining a binary predicate member such that member(a,l) is true if the element a is in the list l. What are the answers to the following queries? Draw the SLD-resolution tree...

Write a logic program defining a binary predicate member such that

member(a,l) is true if the element a is in the list l.

What are the answers to the following queries? Draw the SLD-resolution

tree for each one.

a) :- member(1,[2,1,3]).

b) :- member(1,[2,3,4]).

c) :- member(1,[]).