このディレクトリの索引

#  「知識と推論」長尾真著 岩波書店 1988年 p218 練習問題5.1 (i)
#
#  誰にでも好きな人がいる.
#  

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

誰にでも好きな人がいる([]).
誰にでも好きな人がいる([_人|R]) :-
        人(_人),
        好きな人(_人,_好きな人),
        誰にでも好きな人がいる(R).