09/05/30 13:59:28
>>46
そうですね。「名前 は _誰.」 は少し不自然なので
?- 身長 が 160 cm 以上 で 170 cm 未満 の 人 の 名前 は X.
X = 尾崎;
X = 吉田;
no
で十分でしょう。
"が","で","の","は" が関数になっていますから、
名前 が _名前 の 人 の 体重 は _体重 :- データ(_名前,_体重,_,_).
のような定義が何も考えずにできます。
ここまで単純だと節の自動生成をする述語定義もすぐできます。
09/05/30 13:59:28
>>46
そうですね。「名前 は _誰.」 は少し不自然なので
?- 身長 が 160 cm 以上 で 170 cm 未満 の 人 の 名前 は X.
X = 尾崎;
X = 吉田;
no
で十分でしょう。
"が","で","の","は" が関数になっていますから、
名前 が _名前 の 人 の 体重 は _体重 :- データ(_名前,_体重,_,_).
のような定義が何も考えずにできます。
ここまで単純だと節の自動生成をする述語定義もすぐできます。