このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1333801607/952
#  
#  お題:
#  整数型を引数に取る、次の性質を満たす関数fを定義せよ。
#  
#  f(f(x)) = -x
#  
#  OOPLで解く場合は x.f.f = -x でも良い。

f(X,X) :-
        X < 0.
f(X,Y) :-
        X >= 0,
        Y is X * (-1).