Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of repeat

repeat

repeat has asked 39 questions and find answers to 116 problems.

Stats

2.2k
EtPoint
467
Vote count
39
questions
116
answers

About

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.