このディレクトリの索引
#  @plus7さんの20120215のツイートより、
#  
#  let atm = 101300.0<Pa>;;
#  let water_density = 1000.0<kg/m^3>;;
#  let g = 9.80665<m/s^2>;;
#  let length:float<m> = atm / (water_density*g);;
#  
#  このF#のブログラムと同じ内容のPrologプログラムは?

atm(101300.0) :-
        '単位はPA'.

water_density(1000.0) :-
        '単位はkg/m^3'.

g(9.80665) :-
        '単位はm/s^2'.

length(_length) :-
        '単位はm',
        atm(_atm),
        water_density(_water_density),
        g(_g),
        _length is _atm / (_water_density * _g).

'単位はPA'.

'単位はkg/m^3'.

'単位はm/s^2'.

'単位はm'.