人工智能 实验一PROLOG程序

试编写一个描述亲属关系的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,john,boy).

father(ben,bob,boy).

mather(mary,lily,girl).

mather(mary,lucy,girl).

mather(mary,mike,boy).

mather(mary,john,boy).

mather(joy,bob,boy).

grandfather(X,Z):-father(Y,Z,_),

father(X,Y,_).

grandmather(X,Z):-father(Y,Z,_),

mather(X,Y,_).

sister(X,Y):-father(Z,X,girl),

father(Z,Y,girl),

write(X,"is",Y,"'s sister").

brother(M,N):-father(P,M,boy),

father(P,N,boy).