answer(alice, parent_of(alice)).
answer(bob, parent_of(bob)).