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
.