repeat
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.