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
更改设置。