sockeye: call assert inside the init function of the decoding net
@@ -43,6 +43,7 @@ state_empty(S) :-
% initializes the state to be empty
init_state :-
+ assert(current_state(null)),
state_empty(S),
state_set(S).
@@ -53,7 +54,7 @@ state_set(S) :-
retract(current_state(_)), assert(current_state(S)).
% call the init
-:- assert(current_state(null)), init_state.
+:- init_state.
:- export state_get/1.
state_get(S) :- current_state(S).
