(match '(?man loves ?woman) '(john loves mary))
Answer: D
match returns a binding list in which each variable is paired with what it matches.