如何在Prolog中实现模式匹配

在Prolog中，模式匹配是通过定义规则和查询这些规则来实现的。规则由头部和体部组成，头部定义了一个查询的模式，而体部定义了查询成功时的结果。

以下是一个简单的例子，展示如何在Prolog中实现模式匹配：

% 定义规则
parent(john, sarah).
parent(john, tom).
parent(mary, sarah).

% 查询规则
parent(john, X). % X = sarah ; X = tom

在这个例子中，我们定义了parent/2规则，它表示两个人之间的父子关系。然后我们查询parent(john, X)，返回所有符合模式的结果。