このディレクトリの索引

#  「知識と推論」長尾真著 岩波書店 1988年 p218 練習問題5.1 (i)
#
#  誰にでも好きな人がいる.
#  
#  以下は、Nikoriksさんこと、 紀 信邦(Nob Kino) からの返信ツイート
#  確かにそうですね。ソクラテスと同じでした。
#  
%  
%  @Nikoriks 紀 信邦(Nob Kino) 
% 
%  @TakaoOzaki 好きな人がいる(X):-人(X). 「Xが人ならば,Xは好きな人がいる」とするのが自然だと思います.
%  


好きな人がいる(X) :- 人(X).



% 「Xが人ならば,Xは好きな人がいる」