このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1274827528/880
#  [1] 授業単元:計算機とアルゴリズム  
#  [2] 問題文(含コード&リンク):http://ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10699.txt  
# 
# 問題3
# 
# 実数 (小数点付き数) a, b, c について、これらの値を長さとする三角形が平面上で存在しえるかどうかを判定するプログラムを作成しなさい。
# 例として a, b, c をそれぞれ 1.0, 5.0, 3.0 としたとき、および a, b, c をそれぞれ 4.0, 5.0, 3.0 としたときの実行結果例を示す。
# 
# 実行結果(a=1.0, b=5.0, c=3.0 の場合)
# 
# 辺の長さが 1.000000 と 5.000000 と 3.000000 となる三角形があり得るかどうか判定します
# ありえません
# 
# 
# 実行結果(a=4.0, b=5.0, c=3.0 の場合)
# 
# 辺の長さが 4.000000 と 5.000000 と 3.000000 となる三角形があり得るかどうか判定します
# ありえます
# 

:- op(600,xfx,と).
:- op(650,fx,辺の長さが).
:- op(700,xf,となる三角形があり得るかどうか判定します).

辺の長さが _a と _b と _c となる三角形があり得るかどうか判定します :-
        _a > _b + _c,
        _b > _a + _c,
        _c > _a + _b,
        write('ありえます\n'),!.
辺の長さが _a と _b と _c となる三角形があり得るかどうか判定します :-
        write('ありえません\n'). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

'実数 (小数点付き数) a, b, c について、これらの値を長さとする三角形が平面上で存在しえるかどうかを判定する'(_a,_b,_c) :-
        float(_a),
        float(_b),
        float(_c),
        辺の長さが _a と _b と _c となる三角形があり得るかどうか判定します.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

'実数 (小数点付き数) a, b, c について、これらの値を長さとする三角形が平面上で存在しえるかどうかを判定する' :-
        get_line(Line),
        atom_to_term(Line,_a,_),
        get_line(Line),
        atom_to_term(Line,_b,_),
        get_line(Line),
        atom_to_term(Line,_c,_),
        float(_a),
        float(_b),
        float(_c),
        辺の長さが _a と _b と _c となる三角形があり得るかどうか判定します.