-結果 is +計算式
「計算式」は評価され、結果は「結果」に単一化されます。「計算式」が計算式でない場合には、例外処理が起こります。
is/2は、右側の引数しか評価しませんが、数値比較述語はすべて両方の引数を評価することに注意して下さい。
?- T1 is time, consult(colleague), T2 is time, Consult_Time is T2 - T1.
consult: file colleague loaded in 3 sec.
T1 = 645880140 T2 = 645880143 Consult_Time = 3 yes ?- _
arith_expr_expected 計算式が正しい値を持っていない out_of_range 値がIF/Prologの数値の範囲を超えている divide_by_zero ０で除算しようとしている