このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1269438098/607
#  [1] 授業単元: C言語  
#  [2] 問題文: 
#  (1)\int_0^π/2 f(x^2cosx)dx  
#   (0からπ/2までのf=x^2cosxの定積分) 
#  (2)\int_1^e f(logx)^2dx  
#   (1からeまでの(logx)の二乗の定積分)  
#  (1),(2) の積分を実施する。  
#  

% (1) シンプソンの公式は http://nojiriko.asia/prolog/t540.html 参照

f(X,Y) :- Y is (X ^ 2) * cos(X).

'0からπ/2までのf=x^2cosxの定積分'(M,S) :-
        P2 is pi / 2,
        シンプソンの公式(0,P2,M,S).

% (2) シンプソンの公式は http://nojiriko.asia/prolog/t540.html 参照

f(X,Y) :- Y is (log(X) ^ 2).

'1からeまでの(logx)の二乗の定積分'(M,S) :-
        E is exp(1),
        シンプソンの公式(1,E,M,S).