prolog module. They can account for a significant part of the
execution profile, and were hidden previously.
library(ugraphs): transitive_reduction/2, max_cliques/2 are new.
library(types): new type boolean, similar to oneof([true,false]).
library(types): The type oneof(X,L) now requires that
X is ground and it no longer binds variables in L. This
makes it useful in some new cases, e.g. for “matching” compound
structures, e.g. must_be(X, list(oneof([foo(_),bar(_,_)]))) can
now be used to verify that X is a (ground) compound term with
functor foo/1 or bar/2.
Previously oneof(X,L) only worked correctly when L was a
list of atomic terms, and for such usage the behavior is unchanged.
circuit/1.