Did you know ... Search Documentation:
Pack logicmoo_utils -- prolog/logicmoo/lockable_vars.pl
PublicShow source

This module prevents bugs due accidental tampering, allows one to write code that keeps free variables from being accidently tampered with unification one way.

author
- Douglas R. Miles
license
- LGPL
 lock_vars(:TermVar) is semidet
Lock Variables.
 unlock_vars(:TermOrVar) is semidet
Unlock Variables.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 with_vars_unlocked(Arg1)
 with_vars_relocked(Arg1)
 with_vars_locked(Arg1)
 with_vars_locked(Arg1, Arg2)
 with_some_vars_locked(Arg1, Arg2)
 with_vars_locked(Arg1, Arg2, Arg3)
 with_vars_locked_old(Arg1, Arg2)
 with_vars_locked_old(Arg1, Arg2, Arg3)
 with_vars_locked_trusted(Arg1, Arg2, Arg3)
 with_quiet_vars_lock(Arg1)
 with_vars_lock_else(Arg1, Arg2)
 skip_varlocks