A.18 library(gensym): Generate unique symbols
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(gensym): Generate unique symbols
gensym/2
reset_gensym/0
reset_gensym/1
Packages
Availability:
:- use_module(
library(gensym)
).
(can be autoloaded)
reset_gensym
(
+Base
)
Restart generation of identifiers from
Base
at
<
Base
>
1. Used to make sure a program produces the same results on subsequent runs. Use with care.
reset_gensym(+Base)Restart generation of identifiers from Base at <Base>1.
Used to make sure a program produces the same results on subsequent
runs. Use with care.