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