object
Stream variables (supporting logical, backtracable, adding and retrieving of terms).
Nobukuni Kino and Paulo Moura
1.0
2011/8/17
static, context_switching_calls
(no dependencies on other files)
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)