A.17 library(gensym): Generate unique identifiers
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(gensym): Generate unique identifiers
gensym/2
reset_gensym/1
reset_gensym/0
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.