protocol

# `sequence_dataset_protocol`

Protocol for ordered sequence datasets used with sequential pattern mining algorithms. Sequence identifiers are expected to be unique within a dataset.

Availability:
`logtalk_load(sequential_pattern_mining_protocols(loader))`
Author: Paulo Moura
Version: 1:0:0
Date: 2026-04-29
Compilation flags:
`static`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

## Public predicates

### `items/1`

Returns the declared sequence item domain as a canonical sorted list of unique items.

Compilation flags:
`static`
Template:
`items(Items)`
Mode and number of proofs:
`items(-list(atom))` - `one`

### `sequence/2`

Enumerates by backtracking the sequences in the dataset. The sequence identifier is expected to be unique within the dataset. Each sequence is represented as an ordered list of canonical sorted itemsets with unique declared items.

Compilation flags:
`static`
Template:
`sequence(Id,Sequence)`
Mode and number of proofs:
`sequence(-integer,-list(list(atom)))` - `zero_or_more`

## Protected predicates

(none)

## Private predicates

(none)

## Operators

(none)