object
Stream variables (supporting logical, backtracable, adding and retrieving of terms).
Nobukuni Kino and Paulo Moura
1.2
2018/7/11
static, context_switching_calls
(no dependencies on other entities)
Makes Variable a stream variable. Initial state will be empty.
static
new(Variable)
new(-streamvar) – one
type_error(variable,Variable)
Makes Variable a stream variable and sets its initial state to Value.
static
new(Variable,Value)
new(-streamvar,@nonvar) – one
type_error(variable,Variable)
Sets the state of the stream variable Variable to Value (initializing the variable if needed).
static
Variable<=Value
(?streamvar)<=(@nonvar) – one
Unifies Value with the current state of the stream variable Variable.
static
Variable=>Value
(+streamvar)=>(?nonvar) – zero_or_one
(none)
(none)