规则1:任何兄弟都有同一个父亲规则2:John和Peter是兄弟规则3:John的父亲是David 求:Peter的父亲是谁？ 2.在谓词已知子句集的情况下实现归结原理的自动匹配和归步聚的示: 3.本实验采用Python或C+编程语言；

首先解答第一个问题：根据给出的两条兄弟关系规则和John的父亲是David的信息，我们可以推断出彼得(Peter)的父亲也是David。因为如果John和Peter是兄弟，那么他们共享同一个父亲。所以，Peter的父亲是David。

对于第二个问题，关于如何在谓词逻辑子句集中实现归结原理的自动匹配和递归规约（归步）的示例，我会给出一个简化的Python版本：

def resolve(conjuncts, disjuncts):
    for conj in conjuncts:
        for disj in disjuncts:
            if isinstance(disj, tuple) and conj == disj[0]:
                return disj[1:]  # 如果找到匹配，移除已满足的子句
    return disjuncts  # 如果找不到匹配，返回剩余子句

# 例如，有子句集：
rules = [
    ("brother(X, Y)", "father(Z, X)", "father(Z, Y)"),  # 规则1
    ("brother(John, Peter)", "", "")  # 规则2
]

goal = "father(David, Peter)"  # 求证的目标

initial_clauses = rules + [("father(David, John)",)]
while initial_clauses:
    next_clauses = []
    for clause in initial_clauses:
        if isinstance(clause, str):  # 如果是目标，则结束
            if clause == goal:
                print(f"Father of Peter is {clause.split(' ')[1]}")
                break
        else:
            next_clauses.extend(resolve(clause[0], clause[1]))
    initial_clauses = next_clauses