Signal Processing
repeat's user avatar
repeat's user avatar
repeat's user avatar
repeat
  • Member for 5 years, 9 months
  • Last seen more than 5 years ago
  • Austria, Europe
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
44
Attributed variables: library interfaces / implementations / portability
29
Making "deterministic success" of Prolog goals explicit
25
Passing arbitrary-sized integers from Prolog to C
21
Prolog Constraint Processing : Packing Squares
18
First argument indexing

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.