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

一个简单的描述亲属关系的Prolog程序如下所示：

% 基本谓词：父亲和母亲
父亲(X, Y) :- father(X, Y).
母亲(X, Y) :- mother(X, Y).

% 亲属关系：祖父、祖母、兄弟、姐妹
祖父(X, Y) :- 父亲(X, Z), 父亲(Z, Y).
祖母(X, Y) :- 母亲(X, Z), 母亲(Z, Y).
兄弟(X, Y) :- 父亲(Z, X), 父亲(Z, Y), X \= Y.
姐妹(X, Y) :- 母亲(Z, X), 母亲(Z, Y), X \= Y.

% 其他亲属关系
堂兄弟(X, Y) :- 父亲(Z, X), 父亲(W, Y), 兄弟(Z, W), X \= Y.
表兄弟(X, Y) :- 父亲(Z, X), 父亲(W, Y), 兄弟(Z, V), 父亲(V, W), X \= Y.

然后，我们可以给出一些事实数据，建立一个小型演绎数据库：

% 事实数据
father(john, bob).
father(john, ann).
father(bob, tom).
father(bob, lily).
father(tom, jim).
father(tom, lucy).
mother(kate, bob).
mother(kate, ann).
mother(ann, tom).
mother(ann, lily).
mother(lily, jim).
mother(lily, lucy).

% 查询亲属关系
?- 祖父(john, tom). % true
?- 堂兄弟(jim, lucy). % false
?- 表兄弟(tom, jim). % true