make_atom(+文字列_式,-アトム) make_number(+文字列_式,-数値)

「文字列_式」は必ずアトム、数値、計算式のいずれかでなければなりません。「文字列_式」が計算式の場合には（計算式を含むアトムの文字列ではないことに注意）、変換の前に評価されます。

make_atom/2は、「文字列_式」をアトムの文字列に変換し、「アトム」と単一化します。make_atomは、「文字列_式」がアトムに変換できない場合、あるいはアトムと単一化できない場合に失敗します。

make_number/2は、「文字列_式」の値を数値に変換し、「数値」と単一化します。make_numberは、「文字列_式」が数値として評価できない場合、あるいは「数値」と単一化できない場合に失敗します。

?- make_atom(20/5,S), make_number(S,T).

S = '4.0' T = 4.0 yes ?- make_atom('2.2 * 2',P), make_number(2.2 * 2,R).

P = '2.2 * 2' R = 4.4 ?- make_number('2.2*8',N).

no ?- _

scroll to top