このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1255709298/562 
#  [1] 授業単元:プログラミング演習 
#  [2] 問題文(含コード&リンク):http://ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10061.txt 

http://pc12.2ch.net/test/read.cgi/tech/1255709298/563 
#  [1] 授業単元:ソフトウェア工学 
#  [2] 問題文(含コード&リンク): 
#  (π/4) = tan^-1(1) = 1 - (1/3) + (1/5) - … + (-1)^k * (1/(2k+1)) + … 
#  の公式を用いて、第n項までの多項式近似により円周率を求め、その誤差と計算時間を測定するプログラムを作成せよ。 

func(K,X) :- X is (-1)^K * (1/(2*K+1)). 

π(M,Pi) :- findsum(U,(for(0,K,M),func(K,U)),S),Pi is S * 4. 

計算時間と誤差(M,_計算時間,_誤差) :- 
    A is time,for(1,N,100),π(M,Pi),N=100,B is time, 
    _誤差 is Pi - pi, 
    _計算時間 is (B - A) / 100.