answer(head_and_rest_improper, a, b).