Furthermore, in runtime systems with no compiler available, if source code clauses are loaded into an existing, compiled predicate, the predicate will become interpreted.
full_answer/0
is volatile.
automaton/9
takes a new option that provides access to the
sequence of counter values.
lex_chain/2
takes a new option that enables a more aggressive algorithm.
fd_batch/1
is 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.
among
,
bin_packing
,
bin_packing_capa
,
bin_packing_load
,
count
,
distribute
,
lex_greater
,
lex_greatereq
,
regular
,
sliding_sum
,
value_precede
,
value_precede_chain
.