在SWI-Prolog的设置库中,以下两者之间是否有区别:
-
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
和当前加载的模块名称之外,还能是什么吗?
scope:setting(Key, Value)
和setting(scope:Key, Value)
的区别
settings
是模块的本地,不能作为谓词调用,只能声明为指令。
setting(Key, Value)
仅枚举当前模块的设置。所有设置都可以使用设置(模块:名称,值)枚举。如果Name
是基础的,则此谓词是确定性的。
set_settings
更改设置。