object
streamvars
Stream variables (supporting logical, backtracable, adding and retrieving of terms).
Author: Nobukuni Kino and Paulo Moura
Version: 1:3:0
Date: 2019-06-15
Compilation flags:
static, context_switching_callsDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
new/1
Makes Variable a stream variable. Initial state will be empty.
Compilation flags:
staticTemplate:
new(Variable)Mode and number of proofs:
new(--streamvar) - oneExceptions:
Variable is not a variable:
type_error(variable,Variable)new/2
Makes Variable a stream variable and sets its initial state to Value.
Compilation flags:
staticTemplate:
new(Variable,Value)Mode and number of proofs:
new(--streamvar,@nonvar) - oneExceptions:
Variable is not a variable:
type_error(variable,Variable)(<=)/2
Sets the state of the stream variable Variable to Value (initializing the variable if needed).
Compilation flags:
staticTemplate:
Variable<=ValueMode and number of proofs:
(?streamvar)<=(@nonvar) - one(=>)/2
Unifies Value with the current state of the stream variable Variable.
Compilation flags:
staticTemplate:
Variable=>ValueMode and number of proofs:
(+streamvar)=>(?nonvar) - zero_or_oneProtected predicates
(none)
Private predicates
(none)
Operators
op(100,xfx,<=)
Scope:
publicop(100,xfx,=>)
Scope:
public