このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1286706874/285
#  ../test/read.cgi/tech/1286706874/284 
#  例えば、f(x,y) が次のような狭義の単純増加関数だったとする。 
#   
#  f(0,0)=5, f(1,0)=6, f(2,0)=7 ...
#  ---------
#  f(0,1)=6, f(1,1)=7, f(2,1)=8 ...
#  ---------
#  f(0,2)=7, f(1,2)=8, f(2,2)=9 ...
#
#  このような関数で f(x,y)=6 の (x,y) を探すとする。 

/*
f([],[],[_,_,_,_,_]).
f([],[_],[_,_,_,_,_,_]).
f([]],[_,_],[_,_,_,_,_,_,_]).
f([],[_,_,_],[_,_,_,_,_,_,_,_]).
f([_],[],[_,_,_,_,_,_]).
f([_],[_],[_,_,_,_,_,_,_]).
f([_],[_,_],[_,_,_,_,_,_,_,_]).
f([_,_],[],[_,_,_,_,_,_]).
f([_,_],[_],[_,_,_,_,_,_,_,_]).
f([_,_],[_,_],[_,_,_,_,_,_,_,_,_]).
*/

f(L1,L2,L) :-
        append(L1,L2,[_,_,_,_,_],L).