このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1312201995/777
#  [1] 授業単元:C言語  
#  [2] 問題文:とある架空の携帯電話会社では、 
#  基本料金の1,000円に、一ヶ月の 
#  通話の合計時間によって通話料が 
#  加算される(1分あたり10円)。 
#  また、1ヶ月の料金は基本料金込みで 
#  10,000円以上は通話料が無料になるものとする。 
#  このとき、1ヶ月の合計通話時間を入力すると 
#  請求される料金を表示するプログラムを作成せよ。 
#     === プログラム === 
#     #include <stdio.h> 
#     int main() 
#     {  
#  

'とある架空の携帯電話会社では、通話の合計時間によって通話料が加算される(1分あたり10円)。また、1ヶ月の料金は基本料金込みで10,000円以上は通話料が無料になるものとする。このとき、1ヶ月の合計通話時間を入力すると請求される料金を表示する'(_通話の合計時間) :-
        '通話の合計時間によって通話料が加算される(1分あたり10円)'(_通話の合計時間,_通話量の加算分),
        '1ヶ月の料金は基本料金込みで10,000円以上は通話料が無料になる'(_基本料金,_通話料の加算分,_請求される料金),
        請求される料金を表示する(_請求される料金).

'通話の合計時間によって通話料が加算される(1分あたり10円)'(_通話の合計時間,_通話量の加算分) :-
        _通話料の加算分 is 10 * _通話の合計時間.

'1ヶ月の料金は基本料金込みで10,000円以上は通話料が無料になる'(_基本料金,_通話料の加算分,10000) :-
        基本料込みで(_基本料金,_通話料金,_基本料込み),
        '1ヶ月の料金は基本料金込みで10,000円以上は通話料が無料になる'(_基本料込み,_通話料).

基本料込みで(_基本料金,_通話料金,_基本料込み) :-
        _基本料込み is _基本料金 + _通話料金.

'1ヶ月の料金は基本料金込みで10,000円以上は通話料が無料になる'(_基本料込み,10000) :-
        _基本料込み >= 10000,!.
'1ヶ月の料金は基本料金込みで10,000円以上は通話料が無料になる'(_基本料込み,_基本料込み) :-
        _基本料込み < 10000,!.

請求される料金を表示する(_請求される料金) :-
        writef('請求される料金: %t\n',[_請求される料金]).