このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1354393458/650
#  
#  81以下の自然数で九九に現れない数を昇順にすべて表示せよ。
#  

'81以下の自然数で九九に現れない数を昇順にすべて表示せよ。' :-
'81以下の自然数で九九に現れない数を昇順にすべて'(_81以下の自然数で九九に現れない数ならび),
'表示せよ。'(_81以下の自然数で九九に現れない数ならび).

'81以下の自然数で九九に現れない数を昇順にすべて'(_81以下の自然数で九九に現れない数ならび) :-
findall(_81以下の自然数,(
'81以下の自然数で'(_81以下の自然数),
九九に現れない数(_81以下の自然数)),_81以下の自然数で九九に現れない数ならび).

'81以下の自然数で'(_81以下の自然数) :-
between(1,81,_81以下の自然数).

九九に現れない数(_81以下の自然数) :-
\+(九九に現れる数(_81以下の自然数)).

九九に現れる数(_九九に現れる数) :-
between(1,9,_数_1),
between(1,9,_数_2),
_九九に現れる数 is _数_1 * _数_2.

'表示せよ。'(_81以下の自然数で九九に現れない数ならび) :-
atomic_list_concat(_81以下の自然数で九九に現れない数ならび,' ',_表示文字列),
writef('%t\n',[_表示文字列]).