And what about the next part of question?

(b) Implement a three argument Prolog predicate intersperse which - when read as a two argumeat function - is deterministic and inserts a given element between each two neighboring elements For example, the query "? - intersperse (0,{1,2,3,L), " hhould lead to solation L=(1,0,2,0,3] of a given list. and no other (and no duplicate solutions either). Your implementation also his to work correctly if the given list is empty