A.23 library(nb_set): Non-backtrackable set
AllApplicationManualNameSummaryHelp

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-40-g9d9e003)