|Did you know ...||Search Documentation:|
:- use_module(library(redis_streams)).(can be autoloaded)
maxlen(Count). If Id is unbound, generating the id is left to the server and Id is unified with the returned id. The returned id is a string consisting of the time stamp in milliseconds and a sequence number. See Redis docs for details.