1.pro

来自「Prolog开发的简单的几个人工智能方面的程序.含问题分析报告.」· PRO 代码 · 共 81 行

 predicates    /*1.家族关系*/
   male(string)
   female(string)
   parent_of(string,string)
   sister_of(string,string)
   father(string,string)
   mother(string,string)
   grandfather(string,string)
   offspring(string,string)
   brother(string,string)
   uncle(string,string)
   aunt(string,string)
 clauses
        male("jiayan").
	male("jiadaihua").
	male("jiadaishan").
	male("jiajing").
	male("jiazhen").
	male("jiayuan").
	male("jiadaison").
	male("jiashe").
	male("jiazhen").
	male("jialian").
	male("jiazhu").
        male("jiazong").
	male("jiabaoyu").
        male("jiahuan").
	
	female("youshi").
	female("jiarong").
	female("shitaijun").
	female("xingfuren").
	female("wangxifeng").
	female("wangfuren").
	female("liwan").
	female("baochai").
	female("daiyu").
	female("qiaojie").
	female("jiamin").
        female("jialan").
 
        parent_of("jiamin","daiyu").
	parent_of("jiayan","jiadaihua").
	parent_of("jiadaihua","jiajing").
	parent_of("jiajing","jiazhen").
	parent_of("jiazhen","jiarong").
	parent_of("youshi","jiarong").
	parent_of("jiashe","jialian").
	parent_of("jialian","qiaojie").
	parent_of("jiayuan","jiadaishan").
	parent_of("jiadaishan","jiashe").
	parent_of("jiadaishan","jiazhen").
	parent_of("jiadaishan","jiamin").
	parent_of("shitaijun","jiashe").
	parent_of("shitaijun","jiazhen").
	parent_of("shitaijun","jiamin").
	parent_of("jiazhen","jiazhu").
	parent_of("jiazhen","jiabaoyu").
	parent_of("wangfuren","jiazhu").
	parent_of("wangfuren","jiabaoyu").
        parent_of("jiashe","jiazong").
        parent_of("jiazhen","jiahuan").
        parent_of("jiazhu","jialan").
        sister_of("jiamin","jiashe").
	sister_of("jiamin","jiazhen").

   father(X,Y):-male(X),!,parent_of(X,Y).
   mother(X,Y):-parent_of(X,Y),female(X).   

   grandfather(X,Y):-
    father(X,Z),father(Z,Y).
   offspring(X,Y):-
    father(X,Y).
   offspring(X,Y):-
    father(X,Z),offspring(Z,Y).
   brother(X,Y):-
    father(Z,X),father(Z,Y),not(X=Y).
   uncle(X,Y):-
    brother(X,Z),father(Z,Y).  
   aunt(X,Z):-sister_of(X,Y),
             father(Y,Z).