このディレクトリの索引

#  「知識と推論」長尾真著 岩波書店 1988年 p218 練習問題5.1 (i)
#
#  誰にでも好きな人がいる.
#  
#  以下は、Nikoriksさんこと、 紀 信邦(Nob Kino) からの二番目の返信ツイート
#  
%  
%  @Nikoriks 紀 信邦(Nob Kino) 
%  
%  @TakaoOzaki 誰にでも好きな人がいる :- \+(人(X),\+好きな人(X,_)). 「人であるXで,好きな人/2が成功しない人はいない」
%  

誰にでも好きな人がいる :- \+(人(X),\+好きな人(X,_)).



%  「人であるXで,好きな人/2が成功しない人はいない」