Module variable_process 

变量处理

• 🎯承载所有与「变量」有关的处理

! ⚠️【2024-06-19 23:01:30】此处有关「变量处理」的逻辑尚未稳定：

• 🚧有待在OpenNARS改版中「函数式改造」

Structs

Unification

多值输出：寻找「归一替换」的中间结果

VarSubstitution

用于表示「变量替换」的字典

Functions

has_unification_d

🆕【对外接口】查找非独变量归一方式

has_unification_i

🆕【对外接口】查找独立变量归一方式

has_unification_q

🆕【对外接口】查找查询变量归一方式

unify_find_d

【对外接口】统一非独变量

unify_find_i

【对外接口】统一独立变量

unify_find_q

【对外接口】统一查询变量

Type Aliases

AppliedCompounds

多值输出：寻找「归一替换」的中间结果 ! ❌【2024-07-09 21:14:17】暂且不复刻unifyApplied：自成体系但不完整，需要结合applyUnifyToNew等「函数式方法」