3. Explain informally why [X,[1,X,3]] does not unify with [Y,Y]. It turns out that Prolog thinks these two lists do unify: it creates a cyclic term, which in this case is a list that contains itself as an element.