（% 父亲和母亲关系的定义father(X, Y) :- parent(X, Y), male(X).mother(X, Y) :- parent(X, Y), female(X).% 祖父和祖母关系的定义grandfather(X, Y) :- father(X, Z), parent(Z, Y).grandmother(X, Y) :- mother(X, Z), parent(Z, Y).% 兄弟和姐妹关系的定义brother(X, Y) :- parent(Z, X), parent(Z, Y), male(X), X \= Y.sister(X, Y) :- parent(Z, X), parent(Z, Y), female(X), X \= Y.% 其他亲属关系的定义uncle(X, Y) :- parent(Z, Y), brother(X, Z).aunt(X, Y) :- parent(Z, Y), sister(X, Z).cousin(X, Y) :- parent(Z, X), parent(W, Y), brother(Z, W); sister(Z, W).% 事实数据parent(john, mary).parent(john, tom).parent(mary, ann).parent(mary, bob).parent(tom, lisa).parent(tom, jim).male(john).male(tom).male(bob).male(jim).female(mary).female(ann).female(lisa).% 查询例子?- grandfather(X, lisa).X = john.?- sister(X, tom).X = mary.）请给出上面的程序的定义

上面的程序定义了一系列亲属关系和事实数据。具体定义如下：

- 父亲和母亲关系的定义：father(X, Y) :- parent(X, Y), male(X). mother(X, Y) :- parent(X, Y), female(X)。
- 祖父和祖母关系的定义：grandfather(X, Y) :- father(X, Z), parent(Z, Y). grandmother(X, Y) :- mother(X, Z), parent(Z, Y)。
- 兄弟和姐妹关系的定义：brother(X, Y) :- parent(Z, X), parent(Z, Y), male(X), X \= Y. sister(X, Y) :- parent(Z, X), parent(Z, Y), female(X), X \= Y。
- 其他亲属关系的定义：uncle(X, Y) :- parent(Z, Y), brother(X, Z). aunt(X, Y) :- parent(Z, Y), sister(X, Z). cousin(X, Y) :- parent(Z, X), parent(W, Y), brother(Z, W); sister(Z, W)。
- 事实数据：parent(john, mary). parent(john, tom). parent(mary, ann). parent(mary, bob). parent(tom, lisa). parent(tom, jim). male(john). male(tom). male(bob). male(jim). female(mary). female(ann). female(lisa)。

最后，程序中提供了两个查询例子：grandfather(X, lisa)和sister(X, tom)，用户可以根据需要进行查询。