このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1272006124/199
#  <問題> --灘中入試問題-- 
#  ある4けたの整数を9倍したとき,やはり4けたの 
#  整数で各位の数字の順序が逆になるといいます。 
#  このとき,始めの整数の十の位の数字は何ですか。 
#   

'ある4けたの整数を9倍したとき,やはり4けたの整数で各位の数字の順序が逆になるといいます。このとき,始めの整数の十の位の数字は何ですか。'(_始めの整数の十の位の数字) :-
        '9倍して9999を超えない最大数'(_9倍して9999を超えない最大数),
        for(1000,_ある4桁の数,_9倍して9999を超えない最大数),
        number_chars(_ある4桁の数,Chars),
        reverse(Chars,RChars),
        _ある4桁の数の9倍の数 is _ある4桁の数 * 9,
        number_chars(_ある4桁の数の9倍の数,RChars),
        始めの整数の十の位の数字は(_ある4桁の数,_始めの整数の十の位の数字).

始めの整数の十の位の数字は(_ある4桁の数,_始めの整数の十の位の数字) :-
        _答え is (_ある4桁の数 // 10) mod 10.

'9倍して9999を超えない最大数'(_9倍して9999を超えない最大数) :-
        _9倍して9999を超えない最大数 is 9999 // 9.