このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1286978599/584
#  [1] 授業単元:C言語入門  
#  [2] 問題文(含コード&リンク): 
#  1000以下の素数を表示するプログラムを作成せよ。 
#  素数とは1とそれ自身以外に約数をもたない自然数である。 
#  

'1000以下の素数を表示するプログラムを作成せよ。' :-
        for(1,N,1000),
        素数ならば表示(N),
        N = 1000.

素数ならば表示(N) :-
        '1とそれ自身以外に約数をもたない自然数'(N),
        write_formatted('%t\n',[N]),!.
素数ならば表示(_).

'1とそれ自身以外に約数をもたない自然数'(1) :- !.
'1とそれ自身以外に約数をもたない自然数'(2) :- !.
'1とそれ自身以外に約数をもたない自然数'(N) :-
        N > 2,
        M is N - 1,
        for(2,N1,M),
        0 is N mod N1,
        !,fail.
'1とそれ自身以外に約数をもたない自然数'(N).