- permute_sum_of_int(+N:nonneg, -Integers:list(integer)) is nondet
- Permute sum. Non-deterministically finds all combinations of integer
sums between 1 and N. Assumes that 0<=N. The number of possible
permutations amounts to 2-to-the-power of N-1; for N=3 there are
four as follows: 1+1+1, 1+2, 2+1 and 3.
- permute_list_to_grid(+List0:list, -List:list(list)) is nondet
- Permutes a list to two-dimensional grid, a list of lists. Given an
ordered List0 of elements, unifies List with all possible rows of
columns. Given
a
, b
and c
for example, permutes three rows of
single columns a
, b
, c
; then a
in the first row with b
and
c
in the second; then a
and b
in the first row, c
alone in
the second; finally permutes a
, b
, c
on a single row.
Permutations always preserve the order of elements from first to
last.