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

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

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

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

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

九九に現れる数を(_81以下の自然数で九九に現れる数) :-
between(1,9,M),
between(1,9,N),
_81以下の自然数で九九に現れる数 is M * N.

すべて(P,Q) :-
forall(P,Q).

'表示せよ。'(_81以下の自然数で九九に現れない数) :-
writef('%t ',[_81以下の自然数で九九に現れない数]).