三、编写一个描述亲属关系的PROLOG程序，然后再给出一些事实数据，建立一个小型演绎数据库。可以以父亲和母亲为基本关系（作为基本谓词），再由此来描述祖父、祖母、兄弟、姐妹以及其他亲属关系。

在Prolog中，我们可以编写一个模块来描述亲属关系，包括基本的事实声明和一些规则，以便进行推理。这里是一个基础的例子：

% 定义基本的亲属关系谓词
parent(father, daughter).  % 父亲是女儿的父亲
parent(mother, son).       % 母亲是儿子的母亲
parent(father, son).        % 父亲也是儿子的父亲
parent(mother, daughter).   % 母亲也是女儿的母亲

% 描述更复杂的亲属关系
grandparent(Parent, Child) :-
    parent(Parent, ParentOfParent),
    parent(ParentOfParent, Child).

brother(Sibling1, Sibling2) :-
    parent(Father, [Sibling1, Sibling2]).

sister(Sibling1, Sibling2) :-
    parent(Mother, [Sibling1, Sibling2]).

% 示例事实数据
father(john, jane).
father(john, bob).
mother(mary, jane).
mother(mary, lisa).

在这个例子中，我们首先定义了父母与孩子之间的关系，然后通过递归规则定义了祖父母和孙子孙女的关系。`brother`和`sister`规则分别表示两个孩子在同一对父母下，即他们是兄弟姐妹。

现在，你可以在Prolog环境中输入这些规则和事实，然后进行各种关于亲属关系的查询。比如：

?- grandparent(john, tom).
?- brother(john, bob).
?- sister(mary, lisa).