Prolog exercise

Does not unify

Sign in to hand in your solution and get feedback.