このディレクトリの索引
#  
#  ソクラテスは人間である。
#  
%%%%%%%%%%%%%%%%%%%%%%%%%%


ソクラテスは人間である.


%%%%%%%%%%%%%%%%%%%%%%%%%%
:- op(600,xfx,は).
:- op(850,xf,である).


ソクラテス は 人間 である.


%%%%%%%%%%%%%%%%%%%%%%%%%%%


ソクラテスは人間である :-
        人間(ソクラテス).

人間(ソクラテス).


%%%%%%%%%%%%%%%%%%%%%%%%%%%


人間(ソクラテス).


%%%%%%%%%%%%%%%%%%%%%%%%%%%


である(ソクラテス,人間).


%%%%%%%%%%%%%%%%%%%%%%%%%%%