answer(eq_list_tail_binding, [c, d]).