object

# `sequence_grammars`

Sequence grammars.

Author: Paulo Moura
Version: 0:1:0
Date: 2023-01-30
Compilation flags:
`static, context_switching_calls`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

## Public predicates

### `zero_or_more//1`

Describes a sequence of zero or more terminals.

Compilation flags:
`static`
Template:
`zero_or_more(Terminals)`
Mode and number of proofs:
`zero_or_more(-list(atomic))` - `zero_or_one`

### `one_or_more//1`

Describes a sequence of one or more terminals.

Compilation flags:
`static`
Template:
`one_or_more(Terminals)`
Mode and number of proofs:
`one_or_more(-list(atomic))` - `zero_or_one`

### `zero_or_more//0`

Describes a sequence of zero or more terminals.

Compilation flags:
`static`
Mode and number of proofs:
`zero_or_more` - `one`

### `one_or_more//0`

Describes a sequence of one or more terminals.

Compilation flags:
`static`
Mode and number of proofs:
`one_or_more` - `one`

## Protected predicates

(none)

## Private predicates

(none)

## Operators

(none)