A.27 library(nb_set): Non-backtrackable set
All Application Manual Name SummaryHelp

Availability::- use_module(library(nb_set)).(can be autoloaded)
Sourcegen_nb_set(+Set, -Key)
Generate all members of Set on backtracking in the standard order of terms. To test membership, use add_nb_set/3.
ClioPatria (version V3.1.1-51-ga0b30a5)