reset attributed variables queue after successful verify_attributes interrupt (#669, etc)

2021-09-26 18:57:45 -06:00
parent bc4f719931
commit f6d69b6051
1 changed files with 1 additions and 0 deletions
--- a/src/machine/attributed_variables.pl
+++ b/src/machine/attributed_variables.pl
@@ -5,6 +5,7 @@ driver(Vars, Values) :-
    iterate(Vars, Values, ListOfListsOfGoalLists),
    !,
    call_goals(ListOfListsOfGoalLists),
+    '$reset_attr_var_state',
    '$return_from_verify_attr'.

 iterate([Var|VarBindings], [Value|ValueBindings], [ListOfGoalLists | ListsCubed]) :-