编写一个描述亲属关系的 PROLOG 程序，然后再给出一些事实数据，建立一个 小型演绎数据库。可以以父亲和母亲为基本关系（作为基本谓词），再由此来描述祖 父、祖母、兄弟、姐妹以及其他亲属关系。 predicates grandfather(symbol,symbol) grandmather(symbol,symbol) father(symbol,symbol,symbol) mather(symbol,symbol,symbol) sister(symbol,symbol) brother(symbol,symbol) clauses father(bob,lily,girl) father(bob,lucy,girl) father(bob,mike,boy) father(bob,joe,boy) father(joy,bob,boy) mather(mary,lucy,girl) mather(mary,lily,girl) mather(mary,mike,girl) mather(mary,joe,girl) mather(lynite,bob,boy) grandfather(X,Y):- father(Z,Y,-), grandmather(X,Y):- father(Z,Y,-), brother(X,Y):-father(Z,X,boy), father(X,Z,-). mather(X,Z,-). sister(X,Y):-father(Z,X,girl), father(Z,Y,boy). father(Z,Y,girl).