Furthermore, in runtime systems with no compiler available, if source code clauses are loaded into an existing, compiled predicate, then the predicate will become interpreted.
automaton/9takes a new option that provides access to the sequence of counter values.
lex_chain/2takes a new option that enables a more aggressive algorithm.
fd_batch/1is a new exported predicate that posts a set of constraints with propagation suspended until the whole set has been posted.
*/2, linear arithmetic, Booleans, membership operations.