このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1245853701/46
# [1] 授業単元:プログラミング
# [2] 問題文(含コード&リンク):入力した数を2の何乗より大きいかを求めるプログラム。

'入力した数を2の何乗より大きいかを求める'(N,X) :-
    for(1,M,N),
    2 ^ M >= N,
    X is M - 1.