rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

clean up bb_put/2 a bit

Browse Source
This commit is contained in:
Mark Thom
2019-03-12 22:57:02 -06:00
parent 4a736453fc
commit d81268a181
1 changed files with 5 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/prolog/lib/builtins.pl
View File

@@ -738,17 +738,15 @@ current_predicate(Pred) :-
; throw(error(type_error(predicate_indicator, Pred), current_predicate/1)) ; throw(error(type_error(predicate_indicator, Pred), current_predicate/1))
). ).
bb_put(Key, Value) :- bb_put(Key, _, Value). bb_put(Key, NewValue) :-
store_global_var(Key, Value) :- '$store_global_var'(Key, Value).
reset_global_var_at_key(Key) :- '$reset_global_var_at_key'(Key).
bb_put(Key, OldValue, NewValue) :-
( bb_get(Key, OldValue) -> ( bb_get(Key, OldValue) ->
call_cleanup((store_global_var(Key, NewValue) ; false), store_global_var(Key, OldValue)) call_cleanup((store_global_var(Key, NewValue) ; false), store_global_var(Key, OldValue))
; call_cleanup((store_global_var(Key, NewValue) ; false), reset_global_var_at_key(Key)) ; call_cleanup((store_global_var(Key, NewValue) ; false), reset_global_var_at_key(Key))
). ).
store_global_var(Key, Value) :- '$store_global_var'(Key, Value).
reset_global_var_at_key(Key) :- '$reset_global_var_at_key'(Key).
bb_get(Key, Value) :- atom(Key), !, '$fetch_global_var'(Key, Value). bb_get(Key, Value) :- atom(Key), !, '$fetch_global_var'(Key, Value).
bb_get(Key, _) :- throw(error(type_error(atom, Key), bb_get/2)). bb_get(Key, _) :- throw(error(type_error(atom, Key), bb_get/2)).