mnemosyne_unify
Functions
unify(U, V) -> term()
unify(U, V, Bs) -> term()
ground(U) -> term()
variables_and_annonymous(U) -> term()
variables(U) -> term()
count_variables(U) -> term()
count_bs_vars(Bs) -> term()
count_bs_vars(Bs, Dict) -> term()
sing_vars(T, Acc) -> term()
bs_vars(Bs) -> term()
bs_vars_value(Bs) -> term()
numbervars(T) -> term()
numbervars(T, N) -> term()
rename_variables(U) -> term()
instantiate(U, Bs) -> term()
deref_bindings(Bs) -> term()
delete_bindings(Tree, KeepRemove, OrdSet) -> term()
empty_bindings() -> term()
bindings_to_list(Bs) -> term()
list_to_bindings(L) -> term()
bs_union(Bs1, Bs2) -> term()
check_triggers(Bs) -> term()
unif(X, V, Bs) -> term()
add_bind_trigger(Ts, Bind_Trigger, Bs) -> term()
count_variables(Us, Dict) -> term()
View Functions
- unify/2
- unify/3
- ground/1
- variables_and_annonymous/1
- variables/1
- count_variables/1
- count_bs_vars/1
- count_bs_vars/2
- sing_vars/2
- bs_vars/1
- bs_vars_value/1
- numbervars/1
- numbervars/2
- rename_variables/1
- instantiate/2
- deref_bindings/1
- delete_bindings/3
- empty_bindings/0
- bindings_to_list/1
- list_to_bindings/1
- bs_union/2
- check_triggers/1
- unif/3
- add_bind_trigger/3
- count_variables/2