このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1335517816/188
#  [1] 授業単元:プログラミング演習 
#  [2] 問題文(含コード&リンク): 
#  #include <stdio.h> 
#   
#  int main(void) 
#  { 
#  int a, b, c; /* 整数変数a,b,cの宣言 */ 
#   
#  printf("身長を入力してください"); 
#  scanf("%d", &a); 
#  printf("体重を入力してください"); 
#  scanf("%d", &b); 
#   
#  printf( "%d-%dは %d\n", a,b,c); /* 表示 */ 
#  return 0; 
#  } 
#  こちらのコードを少し変えて 
#  身長と体重の変数(どちらも倍精度実数変数)を宣言。身長と体重を入力し、画面に表示する。身長と体重の表示はprintfを1回使用する。身長と体重は小数点以下1桁を表示させる。適宜コメントを書く。 
#  【実行結果例】 
#  身長を入力してください(cm)?170.5 
#  体重を入力してください(cm)?65.5 
#  身長は170.5で、体重は65.5です。  
#  

'int main(void) { }' :-
        'printf("身長を入力してください");',
        'scanf("%d", &a);'(_d,_a),
        'printf("体重を入力してください");',
        'scanf("%d", &b);'(_b),
        'c = _b / ((_a / 100) * (_a / 100));'(_a,_b,_c),
        'printf( "%d-%dは %d\n", a,b,c);'(_a,_b,_c).

'printf("身長を入力してください");' :-
        write('身長を入力してください').

'scanf("%d", &a);'(_d,_a) :-
        get_integer(_a).
 
'printf("体重を入力してください");' :-
        write('身長を入力してください'). 

'scanf("%d", &b);'(_b) :-
        get_integer(_b).

'c = a - b;'(_a,_b,_c) :-
        _c is _a - b.

'printf( "%d-%dは %d\n", a,b,c);'(_a,_b,_c) :-
        writef('%t-%tは %t\n',[_a,_b,_c]).