在SWI-Prolog' settings library中,以下内容有所不同:
scope:set_setting(Key, Value)
和set_setting(scope:Key, Value)
scope:setting(Key, Value)
和setting(scope:Key, Value)
:- scope:setting(Key, Type, Default, Doc)
和:- setting(scope:Key, Type, Default, Doc)
此外:scope
可以是user
以及当前加载的模块名称吗?
答案 0 :(得分:0)
scope:setting(Key, Value)
和setting(scope:Key, Value)
之间的差异
settings
是模块本地的,不能将它们称为谓词,而只能声明为指令。
setting(Key, Value)
仅枚举当前模块的设置。可以使用设置(模块:名称,值)枚举所有设置。如果Name
是接地的,则该谓词是确定性的。
set_settings
更改设置。