Meta-preds: call_/1, callfalse/2, tmember/2, tpartition/4, tinclude/3, texclude/3, tfilter/3, tcount/3, tfiltermap/4, tchoose/3, count_left_while/4, maplist/[2-5], mapadj/3, mapadj/4, foldadjl/4, splitlistIf(Adj)?/3, max_of_by/3, combine/3, reduce/3, init[01]/3, fixedpoint(list)?/3, ffilter/3, nest_right/4, (@)/1.

Safe term order: iso_dif/2, lt/2.

Reified tests for if_/3 and if_//3: (=)/3, dif/3, bool01_t/2, z(even|odd)_t/2, (even|odd)integer_t/2, (#=<)/3, (#<)/3, memberd_t/3, appendRR/4, prefix_of_t/3, less_than_or_equal__t/3, power_of_two_t/2, integer_t/2.

Lists: memberd/2, selectd/3, permutationd/2, zs_from_to/3, fdBitonicSort/2, list_first_middle_last/4, list_counts/2, list_min/2.

clpfd: n_base_digits/3, any_different/2, list_factorial/2.

DCG: aN_bM_cNM//2.