このディレクトリの索引
#  @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プログラムは?

:- op(250,xf,'Pa').
:- op(250,xf,'kg/m^3').
:- op(250,xf,'m/s^2').
:- op(250,xf,m).

atm(101300.0 'Pa').

water_density(1000.0 'kg/m^3').

g(9.80665 'm/s^2').

length(_length m) :-
        atm(_atm 'Pa'),
        water_density(_water_density 'kg/m^3'),
        g(_g 'm/s^2'),
        _length is _atm / (_water_density * _g).