このディレクトリの索引

九九の段(1,[1,2,3,4,5,6,7,8,9]).
九九の段(2,[2,4,6,8,10,12,14,16,18]).
九九の段(3,[3,6,9,12,15,18,21,24,27]).
九九の段(4,[4,8,12,16,20,24,28,32,36]).
九九の段(5,[5,10,15,20,25,30,35,40,45]).
九九の段(6,[6,12,18,24,30,36,42,48,54]).
九九の段(7,[7,14,21,28,35,42,49,56,63]).
九九の段(8,[8,16,24,32,40,48,56,64,72]).
九九の段(9,[9,18,27,36,45,54,63,72,81]).


'「21÷7 の計算は、九九のどの段を使いますか?」'(_どの段,_割り算のこたえ) :-
        _どの段 = 7,
        九九の段(7,_段の値ならび),
        nth1(_割り算のこたえ,_段の値ならび,21).