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

shorten gensym/2

Browse Source
This commit is contained in:
Markus Triska
2023-06-23 14:11:31 -06:00
committed by Mark
parent c2f2623471
commit 43df2e2649
1 changed files with 6 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/lib/gensym.pl
+6 -7
View File
@@ -19,13 +19,12 @@ gensym(Base, Unique) :-
must_be(var, Unique), must_be(var, Unique),
atom_si(Base), atom_si(Base),
gensym_key(Base, BaseKey), gensym_key(Base, BaseKey),
( bb_get(BaseKey, UniqueID0) -> ( bb_get(BaseKey, UniqueID0) -> true
UniqueID is UniqueID0 + 1, ; UniqueID0 = 0
bb_put(BaseKey, UniqueID), ),
append_id(Base, UniqueID, Unique) UniqueID is UniqueID0 + 1,
; bb_put(BaseKey, 1), append_id(Base, UniqueID, Unique),
append_id(Base, 1, Unique) bb_put(BaseKey, UniqueID).
).
reset_gensym(Base) :- reset_gensym(Base) :-
atom_si(Base), atom_si(Base),