protocol

`partitions_protocol`

Protocol for set partition operations over lists.

Availability:

logtalk_load(partitions(loader))

Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-12

Compilation flags:

static

Dependencies:

(none)

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates 

`partitions/2`

Generates all set partitions of a list using default order. Partitions are represented as lists of non-empty blocks. The empty list has one partition, represented by the empty list of blocks.

Compilation flags:

static

Template:

partitions(List,Partitions)

Mode and number of proofs:

partitions(+list,-list) - one

`partition/2`

True iff the second argument is a set partition of a list using default order.

Compilation flags:

static

Template:

partition(List,Partition)

Mode and number of proofs:

partition(+list,-list) - one_or_more

Generates either all set partitions with the given order (when the second argument is default or lexicographic) or all set partitions with an exact number of blocks using default order (when the first argument is an integer).

Compilation flags:

static

Template:

partitions(ListOrK,OrderOrList,Partitions)

Mode and number of proofs:

partitions(+list,+atom,-list) - one

partitions(+integer,+list,-list) - one

`partition/3`

True iff the third argument is a set partition generated either in the given order or with the given exact number of blocks using default order.

Compilation flags:

static

Template:

partition(ListOrK,OrderOrList,Partition)

Mode and number of proofs:

partition(+list,+atom,-list) - one_or_more

partition(+integer,+list,-list) - one_or_more

`partitions/4`

Generates all set partitions with an exact number of blocks and the given order: default or lexicographic.

Compilation flags:

static

Template:

partitions(K,List,Order,Partitions)

Mode and number of proofs:

partitions(+integer,+list,+atom,-list) - one

`partition/4`

True iff the fourth argument is a set partition with an exact number of blocks and the given order: default or lexicographic.

Compilation flags:

static

Template:

partition(K,List,Order,Partition)

Mode and number of proofs:

partition(+integer,+list,+atom,-list) - one_or_more

`distinct_partitions/2`

Generates all distinct set partitions of a list (deduplicating equal-valued partitions after canonicalizing block order) using default order.

Compilation flags:

static

Template:

distinct_partitions(List,Partitions)

Mode and number of proofs:

distinct_partitions(+list,-list) - one

`distinct_partition/2`

True iff the second argument is a distinct set partition of a list using default order.

Compilation flags:

static

Template:

distinct_partition(List,Partition)

Mode and number of proofs:

distinct_partition(+list,-list) - one_or_more

`distinct_partitions/3`

Generates either all distinct set partitions with the given order (when the second argument is default or lexicographic) or all distinct set partitions with an exact number of blocks using default order (when the first argument is an integer).

Compilation flags:

static

Template:

distinct_partitions(ListOrK,OrderOrList,Partitions)

Mode and number of proofs:

distinct_partitions(+list,+atom,-list) - one

distinct_partitions(+integer,+list,-list) - one

`distinct_partition/3`

True iff the third argument is a distinct set partition generated either in the given order or with the given exact number of blocks using default order.

Compilation flags:

static

Template:

distinct_partition(ListOrK,OrderOrList,Partition)

Mode and number of proofs:

distinct_partition(+list,+atom,-list) - one_or_more

distinct_partition(+integer,+list,-list) - one_or_more

`distinct_partitions/4`

Generates all distinct set partitions with an exact number of blocks and the given order: default or lexicographic.

Compilation flags:

static

Template:

distinct_partitions(K,List,Order,Partitions)

Mode and number of proofs:

distinct_partitions(+integer,+list,+atom,-list) - one

`distinct_partition/4`

True iff the fourth argument is a distinct set partition with an exact number of blocks and the given order: default or lexicographic.

Compilation flags:

static

Template:

distinct_partition(K,List,Order,Partition)

Mode and number of proofs:

distinct_partition(+integer,+list,+atom,-list) - one_or_more

`count_partitions/2`

Counts the number of set partitions of a list.

Compilation flags:

static

Template:

count_partitions(List,Count)

Mode and number of proofs:

count_partitions(+list,-integer) - one

`nth_partition/3`

Returns the set partition at a given zero-based index using default order.

Compilation flags:

static

Template:

nth_partition(List,Index,Partition)

Mode and number of proofs:

nth_partition(+list,+integer,-list) - zero_or_one

`nth_partition/4`

Returns either the set partition at a given zero-based index in the given order (when the second argument is default or lexicographic) or the set partition with an exact number of blocks at a given zero-based index using default order (when the first argument is an integer).

Compilation flags:

static

Template:

nth_partition(ListOrK,OrderOrList,Index,Partition)

Mode and number of proofs:

nth_partition(+list,+atom,+integer,-list) - zero_or_one

nth_partition(+integer,+list,+integer,-list) - zero_or_one

`nth_partition/5`

Returns the set partition with an exact number of blocks at a given zero-based index in the given order: default or lexicographic.

Compilation flags:

static

Template:

nth_partition(K,List,Order,Index,Partition)

Mode and number of proofs:

nth_partition(+integer,+list,+atom,+integer,-list) - zero_or_one

`partition_index/3`

Returns the zero-based index of a set partition using default order.

Compilation flags:

static

Template:

partition_index(List,Partition,Index)

Mode and number of proofs:

partition_index(+list,+list,-integer) - zero_or_one

`partition_index/4`

Returns either the zero-based index of a set partition in the given order (when the second argument is default or lexicographic) or the zero-based index of a set partition with an exact number of blocks using default order (when the first argument is an integer).

Compilation flags:

static

Template:

partition_index(ListOrK,OrderOrList,Partition,Index)

Mode and number of proofs:

partition_index(+list,+atom,+list,-integer) - zero_or_one

partition_index(+integer,+list,+list,-integer) - zero_or_one

`partition_index/5`

Returns the zero-based index of a set partition with an exact number of blocks in the given order: default or lexicographic.

Compilation flags:

static

Template:

partition_index(K,List,Order,Partition,Index)

Mode and number of proofs:

partition_index(+integer,+list,+atom,+list,-integer) - zero_or_one

`count_partitions/3`

Counts the number of set partitions of a list with an exact number of blocks.

Compilation flags:

static

Template:

count_partitions(K,List,Count)

Mode and number of proofs:

count_partitions(+integer,+list,-integer) - zero_or_one

`count_distinct_partitions/2`

Counts the number of distinct set partitions of a list (deduplicating equal-valued partitions).

Compilation flags:

static

Template:

count_distinct_partitions(List,Count)

Mode and number of proofs:

count_distinct_partitions(+list,-integer) - one

`nth_distinct_partition/3`

Returns the distinct set partition at a given zero-based index using default order.

Compilation flags:

static

Template:

nth_distinct_partition(List,Index,Partition)

Mode and number of proofs:

nth_distinct_partition(+list,+integer,-list) - zero_or_one

`nth_distinct_partition/4`

Returns either the distinct set partition at a given zero-based index in the given order (when the second argument is default or lexicographic) or the distinct set partition with an exact number of blocks at a given zero-based index using default order (when the first argument is an integer).

Compilation flags:

static

Template:

nth_distinct_partition(ListOrK,OrderOrList,Index,Partition)

Mode and number of proofs:

nth_distinct_partition(+list,+atom,+integer,-list) - zero_or_one

nth_distinct_partition(+integer,+list,+integer,-list) - zero_or_one

`nth_distinct_partition/5`

Returns the distinct set partition with an exact number of blocks at a given zero-based index in the given order: default or lexicographic.

Compilation flags:

static

Template:

nth_distinct_partition(K,List,Order,Index,Partition)

Mode and number of proofs:

nth_distinct_partition(+integer,+list,+atom,+integer,-list) - zero_or_one

`distinct_partition_index/3`

Returns the zero-based index of a distinct set partition using default order.

Compilation flags:

static

Template:

distinct_partition_index(List,Partition,Index)

Mode and number of proofs:

distinct_partition_index(+list,+list,-integer) - zero_or_one

`distinct_partition_index/4`

Returns either the zero-based index of a distinct set partition in the given order (when the second argument is default or lexicographic) or the zero-based index of a distinct set partition with an exact number of blocks using default order (when the first argument is an integer).

Compilation flags:

static

Template:

distinct_partition_index(ListOrK,OrderOrList,Partition,Index)

Mode and number of proofs:

distinct_partition_index(+list,+atom,+list,-integer) - zero_or_one

distinct_partition_index(+integer,+list,+list,-integer) - zero_or_one

`distinct_partition_index/5`

Returns the zero-based index of a distinct set partition with an exact number of blocks in the given order: default or lexicographic.

Compilation flags:

static

Template:

distinct_partition_index(K,List,Order,Partition,Index)

Mode and number of proofs:

distinct_partition_index(+integer,+list,+atom,+list,-integer) - zero_or_one

`count_distinct_partitions/3`

Counts the number of distinct set partitions of a list with an exact number of blocks.

Compilation flags:

static

Template:

count_distinct_partitions(K,List,Count)

Mode and number of proofs:

count_distinct_partitions(+integer,+list,-integer) - zero_or_one

`random_partition/2`

Returns a random set partition of a list.

Compilation flags:

static

Template:

random_partition(List,Partition)

Mode and number of proofs:

random_partition(+list,-list) - one

`random_partition/3`

Returns a random set partition of a list with an exact number of blocks.

Compilation flags:

static

Template:

random_partition(K,List,Partition)

Mode and number of proofs:

random_partition(+integer,+list,-list) - zero_or_one

`sample_partitions/3`

Returns SampleCount random set partitions of a list, sampled with replacement.

Compilation flags:

static

Template:

sample_partitions(List,SampleCount,Samples)

Mode and number of proofs:

sample_partitions(+list,+integer,-list) - zero_or_one

`sample_partitions/4`

Returns SampleCount random set partitions of a list with an exact number of blocks, sampled with replacement.

Compilation flags:

static

Template:

sample_partitions(K,List,SampleCount,Samples)

Mode and number of proofs:

sample_partitions(+integer,+list,+integer,-list) - zero_or_one

`random_distinct_partition/2`

Returns a random distinct set partition of a list (deduplicating equal-valued partitions).

Compilation flags:

static

Template:

random_distinct_partition(List,Partition)

Mode and number of proofs:

random_distinct_partition(+list,-list) - one

`random_distinct_partition/3`

Returns a random distinct set partition of a list with an exact number of blocks (deduplicating equal-valued partitions).

Compilation flags:

static

Template:

random_distinct_partition(K,List,Partition)

Mode and number of proofs:

random_distinct_partition(+integer,+list,-list) - zero_or_one

`sample_distinct_partitions/3`

Returns SampleCount random distinct set partitions of a list, sampled with replacement after deduplicating equal-valued partitions.

Compilation flags:

static

Template:

sample_distinct_partitions(List,SampleCount,Samples)

Mode and number of proofs:

sample_distinct_partitions(+list,+integer,-list) - zero_or_one

`sample_distinct_partitions/4`

Returns SampleCount random distinct set partitions of a list with an exact number of blocks, sampled with replacement after deduplicating equal-valued partitions.

Compilation flags:

static

Template:

sample_distinct_partitions(K,List,SampleCount,Samples)

Mode and number of proofs:

sample_distinct_partitions(+integer,+list,+integer,-list) - zero_or_one

`next_partition/3`

Returns the next distinct set partition value in lexicographic order induced by the first argument.

Compilation flags:

static

Template:

next_partition(List,Partition,Next)

Mode and number of proofs:

next_partition(+list,+list,-list) - zero_or_one

`next_partition/4`

Returns the next distinct set partition value with an exact number of blocks in lexicographic order induced by the second argument.

Compilation flags:

static

Template:

next_partition(K,List,Partition,Next)

Mode and number of proofs:

next_partition(+integer,+list,+list,-list) - zero_or_one

`previous_partition/3`

Returns the previous distinct set partition value in lexicographic order induced by the first argument.

Compilation flags:

static

Template:

previous_partition(List,Partition,Previous)

Mode and number of proofs:

previous_partition(+list,+list,-list) - zero_or_one

`previous_partition/4`

Returns the previous distinct set partition value with an exact number of blocks in lexicographic order induced by the second argument.

Compilation flags:

static

Template:

previous_partition(K,List,Partition,Previous)

Mode and number of proofs:

previous_partition(+integer,+list,+list,-list) - zero_or_one

partitions_protocol

`partitions_protocol`