>>751 (>>749) 訂正
% Prolog 第一節の本体。

'i<(2のj乗)となる最小の自然数jを求める'(J1,J,I,J) :- J1 >= I,!.
'i<(2のj乗)となる最小の自然数jを求める'(J1,_,I,J) :-
  J2 is J1 * 2,
  'i<(2のj乗)となる最小の自然数jを求める'(J2,J1,I,J).