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)