exists(+ファイル名,+ファイル許可)
exists/2は、ファイル「ファイル名」が存在し、指定された「ファイル許可」を持っていれば成功します。「ファイル名」はアトムでなければならないので、「ファイル名」に'.'や'/'のような特別文字が含まれている場合には、引用符''で囲まなければなりません。それぞれに許可を読み込み、書き込みするために、「ファイル許可」は、必ず読み込み許可にはアトム"r"、書き込み許可にはアトム"w"を使わなければなりません。
exists/2は、ファイルが存在しないか、あるいは指定された許可を持っていない場合に失敗します。
out_of_range 「ファイル許可」が r か w 以外である atom_expected 引数がアトムでなかった
?- exists('$PROJ/mask',r), exists('$PROJ/mask',w).
yes ?- _
| scroll to top |
|