Prolog_flag

Prolog処理系に依存する動作を調べたり、処理系への指示を与えることを、組込み述語 set_prolog_flag/2、 current_prolog_flag/2 で 行うことができます。
可能な値が一つしかないflagは設定することができません。

[例]
?- current_prolog_flag(integer_rounding_function,Flag).

Flag = towards_zero

?- set_prolog_flag(unknown,error).

yes

フラッグ	設定可能	可能な値	既定値	意味
max_integer	×	failします	-	整数値の上限はありません
min_integer	×	failします	-	整数値の下限はありません
integer_rounding_function	×	towerds_zero	-	浮動小数点数を整数に丸める方向
float_mantissa_digits	×	環境依存	-	浮動小数点数の仮数部の桁数
float_min_exponent	×	環境依存	-	浮動小数点数の指数部の最小値
float_max_exponent	×	環境依存	-	浮動小数点数の指数部の最大値
float_epsilon	×	環境依存	-	1.0より大きい最小の数と1.0の差
char_conversion	○	on/off	on	char_conversionを行うか否か
debug	○	on/off	off	デバッグモードかどうか
max_arity	×	65535	-	アリティの最大値
cyclic	×	safe	-	循環する項を安全に扱うことができます
unknown	○	fail/error/warning	error	未定義述語を検出した時の動作
double_quotes	○	chars/codes/atom	codes	二重引用符で囲まれた文字列の意味
fileerrors	○	fail/error/warning	fail	入出力エラーを検出した時の動作
real_format	○	printf フォーマット	"%-.10g"	浮動小数点数を表示する時の形式
encoding	○	utf8/eucjp/sjis	locale	入出力時のエンコーディングの指定
verbose	○	on/off	on	処理系が表示するメッセージの詳細度

• max_integer,min_integer をflagに指定した場合、規格に従って K-Prolog処理系はcurrent_prolog_flag/2をfailさせます。これは、 処理系が扱う整数値に上限、下限がないことを意味します。
• set_prolog_flag(debug,on)は、デバッグモードに入ることを処理系に指示します。
• double_qotesは、項として読みとられた二重引用符で囲まれた文字列の 解釈を指示します。 charの場合文字アトムのリスト("abc"=['a','b','c'])に、 codeの場合文字コードのリスト("abc"=[0'a,0'b,0'c])に、 atomの場合アトムに("abc"='abc')にそれぞれ解釈することを指示します。