问答题
已知：如果约翰在哪里菲多就在哪里，并且约翰在学校里；请用归结原理求解：菲多在哪里？
问答题 每个读书的人都是为了获得知识。证明：对某个人来说，若不能获得知识，则他就不会读书。
问答题 请用一阶谓词逻辑法表示“喜欢玩篮球的人必喜欢玩排球。”
问答题 支持集归结策略对参加归结的子句有什么限制？
