answer(all_pairs, [result(alice, math, 9), result(alice, logic, 7), result(bob, math, 5), result(bob, logic, 8)]).
answer(count_high, 2).
answer(sum_alice, 16).
answer(best_score, pair(9, result(alice, math))).
answer(lowest_pair, pair([5, bob], math)).