以下の述語は、IF/Prologのデ−タの型変換を行います。
述 語 変 換 内 容
char_code/2 文字を文字コ−ドに変換、文字コ−ドを文字に変換 concat/2,/3 文字列の要素のリストからアトムを生成 decompcons/2 アトムを文字のリストに変換 float/1 整数を浮動小数に変換 lower_upper/2 小文字の文字列を大文字の文字列に変換 大文字の文字列を小文字の文字列に変換 make_atom/2 アトムまたは数字をアトムに変換 make_number/2 数字またはアトムを数字に変換 name/2 アトムを文字コ−ドのリストに変換 文字コ−ドのリストをアトムに変換 number/2 数字を文字コ−ドのリストに変換 文字コ−ドのリストを数字に変換 trunc/1 切り捨てによって浮動小数を整数に変換