10/02/09 09:04:16
>>653
% Prolog
ある述語の引数を表示する場合の一般解は :-
ある述語(_引数),
write_formatted('%t\n'm,[_引数]),
fail.
ある述語の引数を表示する場合の一般解は.
でしょう。>>641では同姓同名をきっちりと表示することをサボっています。
それでそのことをこの述語を利用するプログラマに注意するために変数の引数を
強制しています。こうして置けば、この述語をテストした時に
?- 学生番号または名前をもとに身長を調べる(藤原隆甫,_身長).
_身長 = 177
という解を示してインタプリタが停止します。これがPrologプログラマをして
同姓同名への配慮が必要かどうか判断させる契機となるということです。