このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1294061094/21
#  [1] 授業単元:C言語プログラミング 
#  [2] 問題文(含コード&リンク): http://ime.nu/www.dotup.org/uploda/www.dotup.org1340661.txt 
#  
#  3.2つの関数m,nを引数として、大きいほうの値を返す関数max2()を作成せよ。

'2つの関数m,nを引数として、大きいほうの値を返す述語max2'(_m,_n,_大きい方の値) :-
        max2(_m,_n,_大きい方の値).

max2(_関数m,_関数n,_max2) :-
        _値_m は _関数m,
        _値_n は _関数n,
        max2_2(_値_m,_値_n,_max2).

max2_2(_値_m,_値_n,_値_m) :- _m @> _n,!.
max2_2(_値_m,_値_n,_値_n) :- _m @< _n,!.