13.23.1 New Features

• Execution profiles now include internal predicates, which reside in the 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.

• ZINC: upgraded to and compatible with MiniZinc 2.0.
• CLPFD: more filtering in circuit/1.