このディレクトリの索引
### I.Bratko著 安倍憲広・田中和明共訳 「AIプログラミング」 p11より ###
#  
#  Xが木Tの節点であるのは,
#  ・Tの根がXか,
#  ・XがTの左部分木の節点か,
#  ・XがTの右部分木の節点であるときである.
#  
#  
#  このルールはPrologに直接変換される
#  
#  in(X,t(_,X,_)).
#  in(X,t(L,_,_)) :-
#      in(X,L).
#  in(X,t(_,_,R)) :-
#      in(X,R).
#  
######################################################################

'Xが木の節点である'(X,_木) :-
        'Xが木の節点であるのは,
・木の根がXか,
・Xが木の左部分木の節点か,
・Xが木の右部分木の節点であるときである.'(X,_木).



'Xが木の節点であるのは,
・木の根がXか,
・Xが木の左部分木の節点か,
・Xが木の右部分木の節点であるときである.'(X,_木) :-
        木の根がXか(X,_木).

'Xが木の節点であるのは,
・木の根がXか,
・Xが木の左部分木の節点か,
・Xが木の右部分木の節点であるときである.'(X,_木) :-
        'Xが木の左部分木の節点か'(X,_木).

'Xが木の節点であるのは,
・木の根がXか,
・Xが木の左部分木の節点か,
・Xが木の右部分木の節点であるときである.'(X,_木) :-
        'Xが木の右部分木の節点か'(X,_木).



木の根がXか(X,木(_,X,_)).



'Xが木の左部分木の節点か'(X,木(_左部分木,_,_)) :-
        'Xが木の節点である'(X,_左部分木).



'Xが木の右部分木の節点か'(X,木(_,_,_右部分木)) :-
        'Xが木の節点である'(X,_右部分木).