use atom_concat in gensym.pl

2020-01-22 22:08:42 -07:00
parent 40bf5bc75f
commit 9c1064c1a3
1 changed files with 1 additions and 4 deletions
--- a/src/prolog/lib/gensym.pl
+++ b/src/prolog/lib/gensym.pl
@@ -7,10 +7,7 @@
 :- use_module(library(si)).

 gensym_key(Base, BaseKey) :-
-    atom_chars('gensym_', PrefixChars),
-    atom_chars(Base, BaseChars),
-    append(PrefixChars, BaseChars, BaseKeyChars),
-    atom_chars(BaseKey, BaseKeyChars).
+    atom_concat('gensym_', Base, BaseKey).

 append_id(Base, UniqueID, Unique) :-
    atom_chars(Base, BaseChars),