protocol
Assignable variables (supporting backtracable assignement of non-variable terms) protocol.
Nobukuni Kino and Paulo Moura
1.0
2015/7/31
static
(no dependencies on other files)
Makes Variable an assignable variable. Initial state will be empty.
static
assignable(Variable)
assignable(-assignvar) – one
type_error(variable,Variable)
Makes Variable an assignable variable and sets its initial state to Value.
static
assignable(Variable,Value)
assignable(-assignvar,@nonvar) – one
type_error(variable,Variable)
instantiation_error
Sets the state of the assignable variable Variable to Value (initializing the variable if needed).
static
Variable<=Value
(?assignvar)<= (@nonvar) – one
instantiation_error
Unifies Value with the current state of the assignable variable Variable.
static
Variable=>Value
(+assignvar)=> (?nonvar) – zero_or_one
instantiation_error
(none)
(none)