このディレクトリの索引
#  @student_neet
#  Prologでabcdの積み木が順に重なっており、on(a,b). on(b,c). on(c,d). touch(X,Y) :- on(X,Y). touch(X,Y) :- on(Y,X).
%
%  Prologでabcdの積み木が順に重なっており、
%  
%  on(a,b).
%  on(b,c).
%  on(c,d).
%  
%  touch(X,Y) :- on(X,Y).
%  touch(X,Y) :- on(Y,X).

上にある(a,b).
上にある(b,c).
上にある(c,d).

接している(_1,_2) :-
        上にある(_1,_2).
接している(_1,_2) :-
        上にある(_2,_1).