このディレクトリの索引

#  http://http://stackoverflow.com/questions/7569337/
#  私は次のようなプロローグが割り当てられています。
#  
#  ピーターは、天気予報によると週末は何をするかを決めます。
#  
#  これは、入手可能な情報です:土曜日は晴れになる、日曜日は不確実になります。
#  それが晴れた場合は常に、ピーターは、ビーチに行く。それは雨の時はいつでも
#  彼は自宅にとどまります。天候が不確かなとき、それは日によって異なります。
#  土曜日は彼が彼が彼の家族と散歩に行く日曜日、映画館に行くのプロローグで、
#  前の文を表す。
#  以下の質問に答えることができる
#  ピーターは次何をしますか?
#  土曜日は?
#  ピーターは次日曜日に家
#  

天候(土曜日,晴れ).
天候(日曜日,不確実).

ピーターは(晴れ,_,ビーチに行く).
ピーターは(雨,_,自宅にとどまる).
ピーターは(不確実,土曜日,家族と散歩に行く).
ピーターは(不確実,日曜日,映画館に行く).

ピーターは何をする(_曜日,_何をする) :-
        天候(_曜日,_天候),
        ピーターは(_天候,_曜日,_何をする).


%  この解答では「述語定義に於いては関数部分に何が来るかなどにあまり
%  拘る必要はない」ということを暗に示している。この例では、文法的には
%  述語が来そうな位置を主格が占めている。関数・引数全体で題意が伝わる
%  ようにのびのびと自由に表現すればよい。