% swi compatibility of the following sicstus prolog predicates
bb_put(Var,Val) :- !, nb_setval(Var,Val).
bb_get(Var,Val) :- !, nb_getval(Var,Val).
bb_update(Var, Oldval,Newval) :- !, nb_getval(Var,Oldval), nb_setval(Var,Newval).
%min_member(Num, List) :- !, min_list(List,Num).