prologmodule. They can account for a significant part of the execution profile, and were hidden previously.
library(types): new type
boolean, similar to
library(types): The type
oneof(X,L)now requires that
Xis 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
Xis a (ground) compound term with functor
oneof(X,L) only worked correctly when
L was a
list of atomic terms, and for such usage the behavior is unchanged.