Wou*_*eek 5 module prolog setting swi-prolog
在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更改设置。