このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1370255305/785
#  与えられた自然数nを上回る2の冪を返す関数をなるべく最短処理になるように自作してください 
#  宿題じゃないので期限は問いません 
#  例: 
#  n=1 → 1 
#  n=2 → 2 
#  n=3 → 4 
#  n=6 → 8 
#  n=300 → 512 
# 
# 

与えられた自然数nを上回る2の冪を返す(0,1) :- !.
与えられた自然数nを上回る2の冪を返す(_n,_2の冪) :-
        _n_1 is _n >> 1,
        与えられた自然数nを上回る2の冪を返す(_n_1,_2の冪_2),
        _2の冪 is _2の冪_2 << 1.