answer(member, name(alice, "Alice")).
answer(member, knows(alice, bob)).