规则1：任何兄弟都有同一个父亲 规则2：John和Peter是兄弟 规则3：John的父亲是David 求：Peter的父亲是谁？ 2.在谓词已知子句集的情况下实现归结原理的自动匹配和归结步骤的显示； 3.用Python或C++编程语言完整代码写出来

规则1告诉我们彼得(Peter)和其他所有兄弟共享同一个父亲。规则2表明约翰(John)和彼得(Peter)是兄弟。规则3进一步说明约翰(John)的父亲是大卫(David)。

基于这些信息，我们可以推断出彼得(Peter)的父亲也是大卫(David)，因为如果约翰的父亲是大卫，那么作为他兄弟的彼得的父亲也应是大卫。

对于第二个问题，关于归结逻辑在谓词逻辑下的自动匹配和归结，这是一种基于演绎推理的技术。归结原理的核心是通过消解(即通过否定引入的变量)来缩小目标公式直到得到满足的前提。以下是一个简单的例子展示如何用自然语言解释这个过程：

假设我们有子句集：
A(x) -> B(y)
B(peter)
A(john)

其中A(x)代表x的父亲是大卫，B(y)表示y是大卫的儿子。

自动匹配步骤会尝试找到子句中的变量之间的对应关系，比如发现john是A(x)中x的实例，peter是B(y)中y的实例。然后，它会试图消解A(john)子句，得出B(david)。

归结步骤会将B(david)加入到前提中，形成新的子句集：
B(david), A(john) -> B(peter)

现在目标公式已经简化到可以直接看出结论：大卫是彼得的父亲。

至于编程实现，这通常涉及使用逻辑库如Prolog或Python的`pyeda`等。这里给出一个简化的Python版本（使用第三方库`python-lpsolve`）：

from pyeda.boolalg import expr

# 定义谓词和事实
father = expr.Symbol('father')
brother = expr.Symbol('brother')
john = 'john'
david = 'david'
peter = 'peter'

# 子句集
rules = [
    father(john) & brother(john, peter),
    father(david) & brother(peter, john)
]

# 归结步骤
def resolve(formula):
    simplified = formula.simplify()
    return simplified if simplified.is_true() else None

result = resolve(father(peter))
if result is not None:
    print(f"根据规则，Peter的父亲是：{result}")
else:
    print("无法确定Peter的父亲")

注意这只是一个非常基础的示例，实际应用中需要处理更复杂的逻辑结构和变量绑定。