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