范围:设置(键,值)和#39;之间的差异和'设置(范围:键,值)'

时间:2016-02-20 10:05:04

标签: module prolog swi-prolog setting

在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以及当前加载的模块名称吗?

1 个答案:

答案 0 :(得分:0)

  

scope:setting(Key, Value)setting(scope:Key, Value)之间的差异

settings是模块本地的,不能将它们称为谓词,而只能声明为指令。

setting(Key, Value)仅枚举当前模块的设置。可以使用设置(模块:名称,值)枚举所有设置。如果Name是接地的,则该谓词是确定性的。

set_settings更改设置。